D. Faragó, and P. Schmitt. Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, page 50-67. Springer, (June 2009)
A. Boulis, A. Fehnker, M. Fruth, and A. McIver. QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems, page 37--38. Washington, DC, USA, IEEE Computer Society, (2008)
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)
J. J'ez'equel. Language Engineering for Model-Driven Software Development, volume 4101 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2004)
J. Sourrouille, and G. Caplat. SEKE '02: Proceedings of the 14th international conference on Software engineering and knowledge engineering, page 217--224. New York, NY, USA, ACM, (2002)
W. Chan, R. Anderson, P. Beame, and D. Notkin. ISSTA '98: Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, 23, page 102--112. New York, NY, USA, ACM Press, (March 1998)
H. Wehrheim. FMOODS '02: Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V, page 79--93. Deventer, The Netherlands, The Netherlands, Kluwer, B.V., (2002)
T. Massoni, R. Gheyi, and P. Borba. OOPSLA '05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, page 124--125. New York, NY, USA, ACM, (2005)