Oarga, R.-M. (2005). Vérification à la volée de contraintes OCL étendues sur des modèles UML [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible
