Descripción: “... basadas en máquinas de estado y diagramas de flujo del entorno de Simulink-Stateflow, el cual permite la...”