1. Kathy Abbott, Jean-Jacques Speyer, and Guy Boy, editors. International Conference on Human-Computer Interaction in Aeronautics: HCI-Aero 2000, Toulouse, France, September 2000. Cépaduès-Éditions.
2. ASRS report 113722. NASA Aviation Safety Reporting System (ASRS), June 1989. ASRS database search is available at http://nasdac.faa.gov/asp/asy_asrs.asp.
3. Analysing cognitive behaviour using LOTOS and Mexitl;Bowman;Formal Aspects of Computing,1999
4. Judith Crow, Denis Javaux, and John Rushby. Models and mechanized methods that integrate human factors into automation design. In Abbott et al. [1], pages 163–168. http://www.csl.sri.com/reports/html/hci-aero00.html.
5. Asaf Degani and Michael Heymann. Pilot-autopilot interaction: A formal perspective. In Abbott et al. [1], pages 157–168.