Add Abstract FSM