spec'ed out event/states for fsm