Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement . - Dominique Cansell; Dominique Méry; Cyril Proch (FDL, 2003)

Derivation of SystemC code from abstract system models. - Dominique Cansell; J.-F. Culat; Dominique Méry; Cyril Proch (FDL, 2004)

Assistance au développement incrémental et prouvé de systèmes enfouis. (Assistance to incremental and proved development of System-on-Chip). - Cyril Proch (2006)

System-on-chip design by proof-based refinement. - Dominique Cansell; Dominique Méry; Cyril Proch (Int. J. Softw. Tools Technol. Transf., 2009)