"Transformation and Verification of Executable UML Models."

Günter Graw, Peter Herrmann (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics