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)
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)