to_taking_off

Transition between states
FromJ4359F592007EToJ4359F592008D

Transition code
to_elevator.do_elevator_up().send();
timer1.informIn(RTTimespec(50,0));


Triggers:

Signalstimeout

Portstimer1