Quentin Limbourg, Costin Pribeanu, and Jean Vanderdonckt. Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers, page 164--182. London, UK, Springer-Verlag, (2001)
Quentin Limbourg, Costin Pribeanu, and Jean Vanderdonckt. Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers, page 164--182. London, UK, Springer-Verlag, (2001)
Steve Goschnick, Liz Sonenberg, and Sandrine Balbo. Human-Computer Interaction, volume 332 of IFIP Advances in Information and Communication Technology, chapter 4, Springer-Verlag, Berlin/Heidelberg/New York, (2010)
Steve Goschnick, Liz Sonenberg, and Sandrine Balbo. Human-Computer Interaction, volume 332 of IFIP Advances in Information and Communication Technology, chapter 4, Springer-Verlag, Berlin/Heidelberg/New York, (2010)
Anke Dittmar, and Peter Forbrig. Interactive Systems. Design, Specification, and Verification, volume 2844 of Lecture Notes in Computer Science, chapter 13, Springer-Verlag, Berlin/Heidelberg, (2003)
Anke Dittmar, and Peter Forbrig. Interactive Systems. Design, Specification, and Verification, volume 2844 of Lecture Notes in Computer Science, chapter 13, Springer-Verlag, Berlin/Heidelberg, (2003)