A Model of Integrated Operator-System Separation Assurance and Collision Avoidance. - Steven J. Landry; Amit V. Lagu (HCI (11), 2009)

State-based modeling of continuous human-integrated systems: An application to air traffic separation assurance. - Steven J. Landry; Amit V. Lagu; Jouko Kinnari (Reliab. Eng. Syst. Saf., 2010)