author- FME, volume 2391 of Lecture Notes in Computer Science, page 390-409. Springer, (2002)
- UML, volume 2185 of Lecture Notes in Computer Science, page 118-133. Springer, (2001)
- AMAST, volume 936 of Lecture Notes in Computer Science, page 261-276. Springer, (1995)
- World Congress on Formal Methods, volume 1708 of Lecture Notes in Computer Science, page 854-874. Springer, (1999)
- Berichte aus der Informatik Shaker, (1995)
- MoDELS, volume 5795 of Lecture Notes in Computer Science, page 670-684. Springer, (2009)
- Ershov Memorial Conference, volume 1181 of Lecture Notes in Computer Science, page 297-309. Springer, (1996)
- Software and Systems Modeling V3(1):9--30 (March 2004)
- 3rd Intl. Workshop on Critical Systems Development with UML CSDUML '04, Proceedings., page 85--99. Technische Universität München, (2004)
- FDL, page 167-172. IEEE, (2008)
- Algebraic Foundations of Systems Specification, Springer, (1999)
- Software and Systems Modeling V3(1):9--30 (March 2004)
- 3rd Intl. Workshop on Critical Systems Development with UML CSDUML '04, Proceedings., page 85--99. Technische Universität München, (2004)
- Electronic Notes in Theoretical Computer Science (August 2006)
- Technische Universität München, (2006)
- (2008)
- MSVVEIS, page 3-4. INSTICC PRESS, (2008)
- Concurrency, Graphs and Models, volume 5065 of Lecture Notes in Computer Science, page 383-402. Springer, (2008)
- MMOSS, volume 06351 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik IBFI, Schloss Dagstuhl, Germany, (2006)
- Logic Journal of the IGPL 3(4):615-641 (1995)
