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