Synthesis of Finite State MachinesTimothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-vincentelli, Tiziano Villa₹11,583