"vUML: A Tool for Verifying UML Models."

Johan Lilius, Ivan Paltor (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics