P. Pinheiro da Silva. Interactive Systems Design, Specification, and Verification, volume 1946 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2001)
D. Porta. Informatik 2010: Service Science - Neue Perspektiven für die Informatik, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Band 1, volume 175 of LNI, page 497-502. GI, (September 2010)
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)