State Machine Safety