Definition of a state machine in terms of states, transition events and outputs, and next states.
Declaration :
Artifact : STATE_MACHINE