M. Blumendorf, G. Lehmann, and S. Albayrak. Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, page 9--18. New York, NY, USA, ACM, (2010)
M. Blumendorf, G. Lehmann, S. Feuerstack, and S. Albayrak. Interactive Systems. Design, Specification, and Verification, volume 5136 of Lecture Notes in Computer Science, chapter 22, Springer-Verlag, Berlin/Heidelberg, (2008)