- Design Autom. for Emb. Sys. 13(1-2):27-49 (2009)
- IEEE Trans. Software Eng. 20(1):13-28 (1994)
- IEEE Trans. Parallel Distrib. Syst. 5(7):749-762 (1994)
- IEEE Transactions on Information Theory 35(3):657-659 (1989)
- Ada-Europe, volume 3063 of Lecture Notes in Computer Science, page 283-296. Springer, (2004)
- Ada-Europe, volume 3063 of Lecture Notes in Computer Science, page 91-105. Springer, (2004)
- Ada-Europe, volume 2655 of Lecture Notes in Computer Science, page 334-343. Springer, (2003)
- Ada-Europe, volume 2655 of Lecture Notes in Computer Science, page 344-358. Springer, (2003)
- Ada-Europe, volume 2361 of Lecture Notes in Computer Science, page 282-296. Springer, (2002)
- Ada-Europe, volume 2361 of Lecture Notes in Computer Science, page 136-150. Springer, (2002)
- Ada-Europe, volume 1411 of Lecture Notes in Computer Science, page 151-162. Springer, (1998)
- Ada-Europe, volume 1411 of Lecture Notes in Computer Science, page 90-101. Springer, (1998)
- EURASIP J. Emb. Sys. (2008)
- J. Embedded Computing 1(2):225-237 (2005)
- ESA, page 150-156. CSREA Press, (2010)
- IEEE Real-Time and Embedded Technology and Applications Symposium, page 35-45. IEEE Computer Society, (2010)
- Ada-Europe, volume 6106 of Lecture Notes in Computer Science, page 251-264. Springer, (2010)
- BMJ 328(7454):1490 (June 2004)
- Ada-Europe, volume 1251 of Lecture Notes in Computer Science, page 125-136. Springer, (1997)
- Journal of Systems Architecture 42(6-7):431-447 (1996)


author