getNivel

Transition between states
FromJ453CC248034DToJ453CC2480352

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


Triggers:

SignalsgetNivelBateria

PortsPortaOperador