Transition --Not Named--
Condition
while (monTid is OK)
Send Event
Action
Send Arguments
Send Target
Transition between states
From
wait delay
To
--Not Named--
