Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. - Christoph Eichner; Hans Fleischhack; Roland Meyer 001; Ulrik Schrimpf; Christian Stehno (SDL Forum, 2005)