Pierre Bazex Jean-Paul Bodeveix Thierry Millan Christophe Le Camus Christian Percebois Vérification de modèles UML fondée sur OCL. 185-202 2003 conf/inforsid/2003 INFORSID db/conf/inforsid/inforsid2003.html#BazexBMCP03