t_monitora_interrupt

Transition between states
FromJ434BCABD0178ToJ434BCCEE0280

Transition code
printf("MSG_I: Redirecting to Interruption Monitor ...\n");
interface_mi.activeMI().send();