vUML: a Tool for Verifying UML Models (1999)

by Johan Lilius, Ivan Porres Paltor