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