False
Transition between states
From
verify_priorit_high
To
J434E9B00034C
Transition code
// msg informando acao
printf("MSG_MI: Task has not priority to be executed at moment...\n");
// sinal informando que jah foi feita interrupcao
mi_port.returnContext().send();