Vérification par model-checking de systèmes hybrides objets-règles. - Julie Vachon; Houari A. Sahraoui; Mustapha Essalih; Hafedh Mili (Obj. Logiciel Base données Réseaux, 2004)