FSM3 Synthesis