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. Aehnelt, and B. Urban. HCI in Business: First International Conference, HCIB 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, 8527, Cham, (2014)