Eine formale Semantik für die Verknüpfung von Verhaltensbeschreibungen in der UML 2
Networked Digital Library of Theses and Dissertations