vUML: A Tool for Verifying UML Models (1999)

by J Lilius, I Paltor
Venue:In Proc. 14th IEEE International Conference on Automated Software Engineering (ASE