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)
A. Dittmar, and P. Forbrig. Interactive Systems. Design, Specification, and Verification, volume 2844 of Lecture Notes in Computer Science, chapter 13, Springer-Verlag, Berlin/Heidelberg, (2003)
R. Schaefer, S. Bleul, and W. Mueller. Task Models and Diagrams for Users Interface Design, volume 4385 of Lecture Notes in Computer Science, chapter 4, Springer-Verlag, Berlin/Heidelberg, (2007)
F. Paternò, C. Mancini, and S. Meniconi. Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction, page 362--369. London, UK, UK, Chapman & Hall, Ltd., (1997)
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)
A. Dittmar, and P. Forbrig. Proceedings of the 6th international conference on Task models and diagrams for user interface design, page 198--212. Berlin/Heidelberg, Springer-Verlag, (2007)