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)
B. Selic. Computer Hardware Description Languages and their Applications, page 321--330. Ottawa, Canada, Elsevier Science Publishers B.V., Amsterdam, Netherland, (1993)
{. Dobrzański, and L. Kuzniarz. SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, page 1273--1279. New York, NY, USA, ACM Press, (2006)
L. Bichler, A. Radermacher, and A. Schürr. Object-Oriented Real-Time Dependable Systems, 2002. (WORDS 2002). Proceedings of the Seventh International Workshop on, page 271--278. (2002)
H. Frank. ADBIS (Short Papers), page 148--154. Institute of Informatics, Faculty of Electrical Engineering and Computer Science, Smetanova 17, IS-2000 Maribor, Slovenia, (1999)
A. Krupp, W. Mueller, and I. Oliver. Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings, 3, page 102--107 Vol.3. (2004)
Y. Yu, Y. Wang, J. Mylopoulos, S. Liaskos, A. Lapouchnian, and J. Leite. RE '05: Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE'05), page 363--372. Washington, DC, USA, IEEE Computer Society, (2005)