Bruni, Roberto and Hölzl, Matthias and Koch, Nora and Lluch-Lafuente, Alberto and Mayer, Philip and Montanari, Ugo and Schroeder, Andreas and Wirsing, Martin A Service-Oriented UML Profile with Formal Support. In: Service-Oriented Computing (ICSOC/ServiceWave 2009). Lecture Notes in Computer Science, 5900 . Springer, pp. 455-469. ISBN 978-3-642-10382-7 (2009)