vUML: A Tool for Verifying UML Models (1999)

by J Lilius, I P Paltor
Venue:In 14th IEEE International Conference on Automated Software Engineering