OPC Unified Architecture – Part 16: State Machines
4.4.9 StateType
States of a FiniteStateMachine are represented as Objects of the StateType. Each Object of the StateType or one of its subtypes shall be referenced from the ObjectTypeFiniteStateMachineType or one of its subtypes using a HasComponentReference or a subtype of HasComponent and shall not have a ModellingRule as they are not applied on the instances.