horizontally. User input
in the statechart. User input
time. User input
: Manager_A User input
the line editor. User
Transition Priority Priority 1 User
the transition is run. User
. Configuration for user case
