W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes. ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, page 112--122. New York, NY, USA, ACM Press, (2002)
I. Krüger, R. Grosu, P. Scholz, and M. Broy. DIPES '98: Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems, page 61--71. Norwell, MA, USA, Kluwer Academic Publishers, (1999)
G. Berry, S. Ramesh, and R. Shyamasundar. POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 85--98. New York, NY, USA, ACM Press, (1993)