This section describes extensions to the StateMachine model allowing choices and guards on StateMachines.