Matthew L. Bolton, Radu I. Siminiceanu, Ellen J. Bass. A Systematic Approach to Model Checking Human-Automation Interaction Using Task Analytic Models. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 41(5):961-976, 2011. [doi]
Abstract is missing.