entry
State
equals
After
On
TimerEvent
Event
MetaProtoStateMachine
exit
State