On Statistical Structural Testing of Synchronous Data Flow Programs. - Pascale Thévenod-Fosse; Christine Mazuet; Yves Crouzet (EDCC, 1994)

Defining the Unit Testing Level of Synchronous Data Flow Programs. - Pascale Thévenod-Fosse; Christine Mazuet; Yves Crouzet (SAFECOMP, 1996)

Formal Design of Distributed Control Systems with Lustre. - Paul Caspi; Christine Mazuet; Rym Salem; Daniel Weber 017 (SAFECOMP, 1999)

About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. - Paul Caspi; Christine Mazuet; Natacha Reynaud Paligot (SAFECOMP, 2001)