Jean-Louis Sourrouille Guy Caplat Constraint checking in UML modeling. 217-224 2002 SEKE http://doi.acm.org/10.1145/568760.568799 db/conf/seke/seke2002.html#SourrouilleC02