- AINTEC, page 19-21. ACM, (2011)
- Audio Mostly Conference, page 21. ACM, (2010)
- SIGAda, page 105-114. ACM, (2009)
- Toronto, Canada, (Jun 6, 2010)
- SAS, volume 2694 of Lecture Notes in Computer Science, page 91-108. Springer, (2003)
- Ada-Europe, volume 2043 of Lecture Notes in Computer Science, page 123-135. Springer, (2001)
- Ada-Europe, volume 1622 of Lecture Notes in Computer Science, page 211-225. Springer, (1999)
- Ada-Europe, volume 1411 of Lecture Notes in Computer Science, page 65-77. Springer, (1998)
- Information & Management 6(3):143-159 (1983)
- ICME, page 1624-1628. IEEE, (2010)
- volume 5501 of Lecture Notes in Computer Science, page 48--62. Springer, (Mar 29, 2009)
- PLDI, page 24-34. (2001)
- PLDI, page 254-263. (2001)
- Ada-Europe, volume 1251 of Lecture Notes in Computer Science, page 46-55. Springer, (1997)
- Ada-Europe, volume 1031 of Lecture Notes in Computer Science, page 191-205. Springer, (1995)
- EMSOFT '06: Proceedings of the 6th ACM \& IEEE International conference on Embedded software, page 142--151. New York, NY, USA, ACM, (2006)
- CC, volume 5501 of Lecture Notes in Computer Science, page 48-62. Springer, (2009)
- Vigiliae Christianae (1974)
- DATE, page 1498-1503. IEEE, (2008)
- Electr. Notes Theor. Comput. Sci. 203(4):49-64 (2008)


author