Formal description technique SDL for manufacturing systems specification and description Artigo de Conferência