Oarga, R.-M. (2005). Vérification à la volée de contraintes OCL étendues sur des modèles UML [Master's thesis, École Polytechnique de Montréal]. Available