L. Gerbaux Régis Leveugle Gabriele Saucier Synthesis of large controllers using ROM or PLA generators. 47-59 1992 conf/ifip10-2/1992 Synthesis for Control Dominated Circuits db/conf/ifip10-2/ifip10-2-1992.html#GerbauxLS92