Faouzi Boufares Hachemi Bennaceur A. Osmani On the consistency of cardinality constraints in UML modelling. 287-292 2003 conf/ispe/2003 ISPE CE db/conf/ispe/ispe2003.html#BoufaresBO03