Incremental Feature Validation: a Synchronous Point of View. - Lydie du Bousquet; Farid Ouabdesselam; Jean-Luc Richier; Nicolas Zuanon (FIW, 1998)

Lutess: a testing environment for synchronous software. - Lydie du Bousquet; Farid Ouabdesselam; Ioannis Parissis; Jean-Luc Richier; Nicolas Zuanon (Tool Support for System Specification, Development and Verification, 1998)

Lutess: A Specification-Driven Testing Environment for Synchronous Software. - Lydie du Bousquet; Farid Ouabdesselam; Jean-Luc Richier; Nicolas Zuanon (ICSE, 1999)

An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software. - Lydie du Bousquet; Nicolas Zuanon (ASE, 1999)

Modular Feature Integration and Validation in a Synchronous Context. - Nicolas Zuanon (FIREworks, 2000)

Feature interaction detection using a synchronous approach and testing. - Lydie du Bousquet; Farid Ouabdesselam; Jean-Luc Richier; Nicolas Zuanon (Comput. Networks, 2000)

Test de spécifications de services de télécommunication. (Testing telecommunication feature specifications). - Nicolas Zuanon (2000)

Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. - Lydie du Bousquet; Farid Ouabdesselam; Jean-Luc Richier; Nicolas Zuanon (SLAP, 2003)