4.6.1 Overview

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