M. Blumendorf, G. Lehmann, и S. Albayrak. Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, стр. 9--18. New York, NY, USA, ACM, (2010)
M. Blumendorf, G. Lehmann, S. Feuerstack, и S. Albayrak. Interactive Systems. Design, Specification, and Verification, том 5136 из Lecture Notes in Computer Science, глава 22, Springer-Verlag, Berlin/Heidelberg, (2008)