State machine definition and enforcement

How valid state transitions are declared and prevented from being bypassed.