A discrete control model of operator function: A methodology for information dislay design

Integrating cognitive analyses in a large-scale system design process

International Journal of Human-Computer Studies

A cognitive systems engineering approach to the design of decision support systems

The human-computer interaction handbook

Improving user-interface dependability through mitigation of human error

International Journal of Human-Computer Studies - Special isssue: HCI research in privacy and security is critical now

Formally verifying human---automation interaction as part of a system model: limitations and tradeoffs

Innovations in Systems and Software Engineering

Generating phenotypical erroneous human behavior to evaluate human-automation interaction using model checking

International Journal of Human-Computer Studies

Automatic validation and failure diagnosis of human-device interfaces using task analytic models and model checking

Computational & Mathematical Organization Theory