Return to Article Details Applying finite state machine theory and object-oriented programming to the logical synthesis of control devices Download Download PDF