"Towards a Formal Account of a Foundational Subset for Executable UML Models."

Michelle L. Crane, Jürgen Dingel (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics