1. Man versus machine or man + machine?;Cummings;IEEE Intelligent Systems,2014
2. Human engineering for an effective air navigation and traffic control system;Fitts,1951
3. Jensen, K. (1990). Coloured Petri Nets: a high level language for system design and analysis, Advances in Petri Nets, G. Rozenberg (ed.).
4. The next generation air transportation system: an approach to function allocation. Human Factors and Ergonomics in Manufacturing and Service Industries. Pages 1-11;Landry,2011
5. Karr, D. and Vivona, R. (2006). Conflict detection using variable four-dimensional uncertainty bounds to control missed alerts, AIAA Guidance, Navigation, and Control Conference, Keystone, CO.