A formal semantics of UML class diagrams based on transformation systems - Tenzer, Jennifer (Forschungsberichte des Fachbereichs Informatik, 2001)