Synthesis of Finite State Machines by Robert K. Brayton, Timothy Kam & Alberto L. Sangiovanni-Vincentelli