Fixed StateMachine Specification Project