A state as part of a Machine. Contains an optional Action and Counter to be executed upon transition to this state, and a vector of state transitions for each possible Event.
Machine
Action
Counter
Event