Enviar por SMS: Formal description technique SDL for manufacturing systems specification and description