Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes. - Fabrice Bouquet; Bruno Legeard; Nicolas Vacelet (Tech. Sci. Informatiques, 2003)

Faster Analysis of Formal Specifications. - Fabrice Bouquet; Bruno Legeard; Mark Utting; Nicolas Vacelet (ICFEM, 2004)

A subset of precise UML for model-based testing. - Fabrice Bouquet; Christophe Grandpierre; Bruno Legeard; Fabien Peureux; Nicolas Vacelet; Mark Utting (A-MOST, 2007)