A. Blandford, P. Curzon, J. Hyde, and G. Papatzanis. Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, (2008)
M. Böhmer, B. Hecht, J. Schöning, A. Krüger, and G. Bauer. Proceedings of MobileHCI '11: 13th International Conference on Human Computer Interaction with Mobile Devices and Services, Stockholm, Sweden, page 47-56. (2011)