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