Evaluating human-automation interaction using task analytic behavior models, strategic knowledge-based erroneous human behavior generation, and model checking.

Matthew L. Bolton, Ellen J. Bass

Browse the full SMC paper archive.