Tengo en el switch tantos case como estados tiene mi statechart.
En cada case tengo tantos if como flechas salientes al estado y dentro de cada if tengo un put_event_task_system (carga un evento en la cola circular) y un p_task_sensor_dta (que indica cual es el siguiente estado)