R. Tiella, A. Villafiorita, and S. Tomasi. PPPJ '07: Proceedings of the 5th international symposium on Principles and practice of programming in Java, page 93--102. New York, NY, USA, ACM Press, (2007)
P. Murthy, P. Anitha, M. Mahesh, and R. Subramanyan. SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, page 75--82. New York, NY, USA, ACM Press, (2006)
S. Prochnow, and R. von Hanxleden. DATE '06: Proceedings of the conference on Design, automation and test in Europe, page 577--578. 3001 Leuven, Belgium, Belgium, European Design and Automation Association, (2006)