t_monitora_interrupt
Transition between states
From
J434BCABD0178
To
J434BCCEE0280
Transition code
printf("MSG_I: Redirecting to Interruption Monitor ...\n");
interface_mi.activeMI().send();