Synthesis Of Finite State Machines door etc. & Tiziano Villa