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)
S. Goschnick, L. Sonenberg, and S. Balbo. Human-Computer Interaction, volume 332 of IFIP Advances in Information and Communication Technology, chapter 4, Springer-Verlag, Berlin/Heidelberg/New York, (2010)
Q. Limbourg, C. Pribeanu, and J. Vanderdonckt. Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers, page 164--182. London, UK, Springer-Verlag, (2001)