Jocelyn Simmonds M. Cecilia Bastarrica A tool for automatic UML model consistency checking. 431-432 2005 conf/kbse/2005 ASE http://doi.acm.org/10.1145/1101908.1101989 db/conf/kbse/ase2005.html#SimmondsB05