Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language. - Nicolas Halbwachs; Daniel Pilaud; Farid Ouabdesselam; Anne-Cecile Glory (Automatic Verification Methods for Finite State Systems, 1989)

Vérification de propriétés de programmes flots de données synchrones. (Properties verification of synchronous data-flow programs). - Anne-Cecile Glory (1989)