Michael F. Humphreys

Integrating the Operator into Formal Models in the Air-Traffic Control Domain

Peter A. Lindsay, Andrew Neal, David Leadbetter, 2000 .

Development of a hazard analysis technique for human computer systems

Peter A. Lindsay, Andrew Neal, David Leadbetter, 2003 .

Modeling the Human Operator, Part II: Emulating Controller Intervention

Peter A. Lindsay, Selina Fothergill, Andrew Neal, 2007 .

Towards model based prediction of human error rates in interactive systems

Peter A. Lindsay, Andrew Neal, David Leadbetter, 2001, Proceedings Second Australasian User Interface Conference. AUIC 2001.

ATC-lab: An air traffic control simulator for the laboratory

Shayne Loft, Andrew Hill, Andrew Neal, 2004, Behavior research methods, instruments, & computers : a journal of the Psychonomic Society, Inc.

Modelling and Hazard Identification in an Air-Traffic Control User-Interface

Michael F. Humphreys, A. Neal, P. Lindsay, 2000 .