getNivel

Transition between states
FromJ453CC24B0244ToJ453CC24B0249

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

Triggers:

SignalsgetNivelBateria

PortsPortaOperador