False

Transition between states
Fromverify_priorit_highToJ434E9B00034C

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();