Added specs for models State and TransitionEvent
Added specs for models State and TransitionEvent