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