Huang, H., Ruksenas, R., Ament, M., Curzon, P., Cox, A., Blandford, A., & Brumby, D. (2011). Capturing the distinction between task and device errors in a formal model of user behaviour. Electronic Communications of the EASST, 45. https://doi.org/10.14279/tuj.eceasst.45.656