t1
Transition between states
From
J4356351C0252
To
IsValid
Transition code
printf("MSG_VCXP: Verifing status parameter...\n");
timer.informIn(RTTimespec(1,0));
Triggers:
Signals
timeout
Ports
timer