Matthew L. Bolton, Ellen J. Bass. Generating Erroneous Human Behavior From Strategic Knowledge in Task Models and Evaluating Its Impact on System Safety With Model Checking. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 43(6):1314-1327, 2013. [doi]
@article{BoltonB13-0,
title = {Generating Erroneous Human Behavior From Strategic Knowledge in Task Models and Evaluating Its Impact on System Safety With Model Checking},
author = {Matthew L. Bolton and Ellen J. Bass},
year = {2013},
doi = {10.1109/TSMC.2013.2256129},
url = {http://dx.doi.org/10.1109/TSMC.2013.2256129},
researchr = {https://researchr.org/publication/BoltonB13-0},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Systems, Man, and Cybernetics, Part A},
volume = {43},
number = {6},
pages = {1314-1327},
}