G. Gotlieb, R. Gotlieb, and . Groz, Test Logiciel à Grande Echelle, synthèse du groupe de travail MTV2 en réponse à l'appel à défi GDR-GPL, 2010.

A. Potet, Y. Potet, R. Aït-ameur, and . Laleau, Intégration maîtrisée et raisonnée des modèles et méthodes formelles dans un processus industriel de développement logiciel, 2010.