A general time domain approach for the design of perfect reconstruction modulated filter banks. - Michel Poize; Marc Renaudin; Patrick Venier (ICASSP (3), 1993)

Efficient compilation of ESTEREL for real-time embedded systems. - Daniel Weil; Valérie Bertin; Etienne Closse; Michel Poize; Patrick Venier; Jacques Pulou (CASES, 2000)

TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. - Etienne Closse; Michel Poize; Jacques Pulou; Joseph Sifakis; Patrick Venier; Daniel Weil; Sergio Yovine (CAV, 2001)

TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems. - Valérie Bertin; Etienne Closse; Michel Poize; Jacques Pulou; Joseph Sifakis; Patrick Venier; Daniel Weil; Sergio Yovine (CDC, 2001)

SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure. - Etienne Closse; Michel Poize; Jacques Pulou; Patrick Venier; Daniel Weil (SLAP@ETAPS, 2002)