Synthesis Of Finite State Machines by etc. & Tiziano Villa