A. Dittmar, A. Garc\'ıa Frey, and S. Dupuy-Chessa. Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, page 189--194. New York, NY, USA, ACM, (2012)
A. Dittmar. Interactive Systems Design, Specification, and Verification, volume 1946 of Lecture Notes in Computer Science, chapter 10, Springer-Verlag, Berlin/Heidelberg, (May 11, 2001)
D. Reichart, P. Forbrig, and A. Dittmar. Proceedings of the 3rd annual conference on Task models and diagrams, page 51--58. New York, NY, USA, ACM, (2004)
A. Dittmar, and A. Gaffar. Human-Computer Interaction. Interaction Design and Usability, volume 4550 of Lecture Notes in Computer Science, Springer-Verlag, Berlin/Heidelberg, (2007)
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)
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)