Specification and Synthesis of Communicating Finite State Machines. - H. Belhadj; Laurent Gerbaux; Marie-Claude Bertrand; Gabriele Saucier (Synthesis for Control Dominated Circuits, 1992)

Synthesis of large controllers using ROM or PLA generators. - Laurent Gerbaux; Régis Leveugle; Gabriele Saucier (Synthesis for Control Dominated Circuits, 1992)

Automatic synthesis of large Moore sequencers. - Laurent Gerbaux; Gabriele Saucier (Integr., 1992)