A VLSI FSM design system. - M. J. Meyer; Prathima Agrawal; R. G. Pfister (DAC, 1984)