Xiaoshan Li A Characterization of UML Diagrams and their Consistency. 67-76 2006 conf/iceccs/2006 ICECCS http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.78 db/conf/iceccs/iceccs2006.html#Li06