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]
@article{BoltonSB11,
title = {A Systematic Approach to Model Checking Human-Automation Interaction Using Task Analytic Models},
author = {Matthew L. Bolton and Radu I. Siminiceanu and Ellen J. Bass},
year = {2011},
doi = {10.1109/TSMCA.2011.2109709},
url = {http://dx.doi.org/10.1109/TSMCA.2011.2109709},
researchr = {https://researchr.org/publication/BoltonSB11},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Systems, Man, and Cybernetics, Part A},
volume = {41},
number = {5},
pages = {961-976},
}