Composants, services et aspects - Techniques et outils pour la vérification. Volume 14, numéro 4. - Hermes, 2008. - ( RSTI série l'Objet - logiciel, bases de données, réseaux ; 14).