Transitions Between Base States

The transition from state A to B is valid if A is active, the trigger event trigger occurs, and the condition [switch_on] is true.