vUML: A tool for verifying UML models (1999)

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