StateMachine, lib, Models