R. Schaefer, S. Bleul, and W. Mueller. Engineering Human Computer Interaction and Interactive Systems, volume 3425 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2005)
F. Jourde, Y. Laurillau, A. Moran, and L. Nigay. Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, page 281-286. (2008)