getNivel

Transition between states
FromJ453CC24D037CToJ453CC24D0381

Transition code
PortaOperador.BateriaFraca ().send ();
printf("\n Nivel de bateria enviada pelo S_CDE \n");

Triggers:

SignalsgetNivelBateria

PortsPortaOperador