State machine design-an interactive approach
J. Bastian, A. Savargaonkar, S. Venkateswaren, K.R. Rao, T.V.V.S. Nagesh, K.S. Raghunthan · 1991
Finite state machines are essential components in digital systems. This paper describes a tool for designing a finite state machine from its behavioral description. Useful user interfaces for describing a state machine and for verification of its behavior are the important contributions made in this paper.>