Generating Efficient Code From Data-Flow Programs. - Nicolas Halbwachs; Pascal Raymond; Christophe Ratel (PLILP, 1991)

Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE. - Christophe Ratel; Nicolas Halbwachs; Pascal Raymond (SIGSOFT, 1991)

An Experience in Proving Regular Networks of Processes by Modular Model Checking. - Nicolas Halbwachs; Fabienne Lagnier; Christophe Ratel (Acta Informatica, 1992)

Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE. - Nicolas Halbwachs; Fabienne Lagnier; Christophe Ratel (IEEE Trans. Software Eng., 1992)

Définition et réalisation d'un outil de vérification formelle de programmes LUSTRE. (Design and implementation of a formal verification tool for lustre programs : the system Lesar). - Christophe Ratel (1992)