Spécification et simulation fonctionnelles de circuits complexes : le système CADOC. (Specification and functional simulation of complex circuits: the CADOC system). - Michel Crastes de Paulet (1985)

ASYL: A Rule-Based System for Controller Synthesis. - Gabriele Saucier; Michel Crastes de Paulet; Pascal Sicard (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987)

Testability Expertise and Test Planning from High-Level Specifications. - Michel Crastes de Paulet; Margot Karam; Gabriele Saucier (ITC, 1989)

ASYL: A Control Driven RTL Synthesis System using Library Blocks. - Anne Mignotte; Marie-Claude Bertrand; Michel Crastes de Paulet; Jérôme Rampon; Gabriele Saucier (Synthesis for Control Dominated Circuits, 1992)

Input-driven partitioning methods and application to synthesis on table-lookup-based FPGAs. - Pierre Abouzeid; Belgacem Babba; Michel Crastes de Paulet; Gabriele Saucier (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993)