- Software Engineering Workshops, volume 184 of LNI, page 151-161. GI, (2011)
- Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of Lecture Notes in Computer Science, page 323-328. Springer, (2007)
- Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of Lecture Notes in Computer Science, page 337-343. Springer, (2007)
- MoDELS, volume 6981 of Lecture Notes in Computer Science, page 425-439. Springer, (2011)
- PECCS, page 379-386. SciTePress, (2011)
- Fundam. Inform. 26(3/4):363-385 (1996)
- J. Vis. Lang. Comput. 8(1):27-55 (1997)
- Sci. Comput. Program. 34(1):1-54 (1999)
- ICGT, volume 3256 of Lecture Notes in Computer Science, page 439-441. Springer, (2004)
- SIGMOD Record 40(1):35-39 (2011)
- AGTIVE, volume 3062 of Lecture Notes in Computer Science, page 75-89. Springer, (2003)
- ICMT, volume 6707 of Lecture Notes in Computer Science, page 31-46. Springer, (2011)
- ICGT, volume 2505 of Lecture Notes in Computer Science, page 363-377. Springer, (2002)
- ICGT, volume 2505 of Lecture Notes in Computer Science, page 440-444. Springer, (2002)
- Object Modeling with the OCL, volume 2263 of Lecture Notes in Computer Science, page 21-41. Springer, (2002)
- ESEC, volume 989 of Lecture Notes in Computer Science, page 219-234. Springer, (1995)
- Electr. Notes Theor. Comput. Sci. 72(2):11-13 (2002)
- Electr. Notes Theor. Comput. Sci. 44(4):93-106 (2001)
- AGTIVE, volume 1779 of Lecture Notes in Computer Science, page 489-490. Springer, (1999)
- Electr. Notes Theor. Comput. Sci. (1995)


author