Vérification de modèles UML fondée sur OCL. - Pierre Bazex; Jean-Paul Bodeveix; Thierry Millan; Christophe Le Camus; Christian Percebois (INFORSID, 2003)