Added StateMachine interface (in flux)