t_monitora_w

Transition between states
FromJ434FD5B1039AToJ434FD5B40109

Transition code
// verificação de origem dos sinais e
// encaminha para seu destino correto
Kernel();


Triggers:

Signalswrite

Portsvbad_vcalvbad_vcxpvbad_vsel



SignalstoFlightControl

Portscom_sup



Signalsvalue_power

Portsbus_power_control