A. Blandford, P. Curzon, J. Hyde, and G. Papatzanis. Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, (2008)
S. Castronovo, A. Mahr, and C. Müller. Human Interface and the Management of Information: Information and Interaction for Health, Safety, Mobility and Complex Environments, 15th International Conference, HCI International 2013, Las Vegas, NV, USA, Proceedings, Part II, 8017, Springer, Heidelberg, (2013)