Matthew L. Bolton, Ellen J. Bass. Evaluating human-automation interaction using task analytic behavior models, strategic knowledge-based erroneous human behavior generation, and model checking. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011. pages 1788-1794, IEEE, 2011. [doi]
Abstract is missing.