@MISC{Jürjens_formalsemantics, author = {Jan Jürjens}, title = {Formal Semantics For Interacting UML Subsystems}, year = {}}
So far most work on formal semantics for the Unified Modeling Language (UML) has concentrated on single diagrams. To provide a formal...