A tool for automatic UML model consistency checking

Jocelyn Simmonds, M. Cecilia Bastarrica
2005 Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05  
doi:10.1145/1101908.1101989 dblp:conf/kbse/SimmondsB05 fatcat:wantgebozramnb23fimjnsxay4