Huang, H.; Ruksenas, R.; Ament, M.; Curzon, P.; Cox, A.; Blandford, A.; Brumby, D. Capturing the Distinction Between Task and Device Errors in a Formal Model of User Behaviour. eceasst 2011, 45.