H. Huang, “Capturing the distinction between task and device errors in a formal model of user behaviour”, eceasst, vol. 45, Oct. 2011.