- Fundamental Approaches to Software Engineering, volume 6603 of Lecture Notes in Computer Science, page 202--216. Springer, (2011)
- ASE, page 163-172. IEEE, (2011)
- ECEASST (2006)
- ECEASST (2007)
- MoDELS, volume 4199 of Lecture Notes in Computer Science, page 425-439. Springer, (2006)
- AGTIVE, volume 5088 of Lecture Notes in Computer Science, page 566-567. Springer, (2007)
- Fundam. Inform. 26(3/4):287-313 (1996)
- Fundam. Inform. 74(1):31-61 (2006)
- Fundam. Inform. 26(3/4):387-406 (1996)
- Sci. Comput. Program. 34(1):1-54 (1999)
- ICGT, volume 3256 of Lecture Notes in Computer Science, page 161-177. Springer, (2004)
- ICGT, volume 3256 of Lecture Notes in Computer Science, page 439-441. Springer, (2004)
- Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, page 64-83. Springer, (2005)
- FASE, volume 3442 of Lecture Notes in Computer Science, page 64-79. Springer, (2005)
- FASE, volume 3442 of Lecture Notes in Computer Science, page 49-63. Springer, (2005)
- Autom. Softw. Eng. 18(3-4):225-226 (2011)
- AGTIVE, volume 3062 of Lecture Notes in Computer Science, page 220-235. Springer, (2003)
- AGTIVE, volume 3062 of Lecture Notes in Computer Science, page 489-490. Springer, (2003)
- AGTIVE, volume 3062 of Lecture Notes in Computer Science, page 446-453. Springer, (2003)
- AGTIVE, volume 3062 of Lecture Notes in Computer Science, page 15-29. Springer, (2003)


author