t_return_rw

Transition between states
FromJ434FCDDF002EToJ434FCDDF0033

Transition code
printf("\nMSG_I: Now listening again...\n");

Triggers:

SignalsreturnContext

Portsinterface_rw



Signalsvalue_power

Portsbus_power_control