A. Alaeddini, H. Erzberger, and W. Dunbar, Distributed logic-based conflict resolution of multiple aircraft in planar en-route flight A new framework for solving en-routes conflicts, Europe Air Traffic Management Research and Developpment Seminar, p.10, 2006.

W. Arthur and M. Mclaughlin, User request evaluation tool (uret). interfacility conflict probe performance assessment, Procceedings of the 2nd USA/Europe ATM R and D Seminar Nicolas Durand et al, 1998.

A. Baddeley and R. Logie, Working memory: The multiple-component model (eds) Models of Working Memory, pp.28-61, 1999.

G. Bakker, H. Blom, V. Bijsterbosch, M. Van-paassen, and M. Mulder, Wp1: Comparative analysis of probabilistic conflict prediction approaches in atm Ecological interface design: supporting fault diagnosis of automated advice in a supervisory air traffic control task Collision avoidance in commercial aircraft free flight via neural networks and non-linear programming, Tech. rep., NLR Contract Report Borst C Cognition, Technology & Work Kontogeorgou C Int J Neural Syst, vol.19, issue.185, pp.545-560371, 2000.

S. Corver and G. Grote, Uncertainty management in enroute air traffic control: a field study exploring controller strategies and requirements for automation, Cognition, Technology & Work, vol.38, issue.3, pp.541-565, 2016.
DOI : 10.1016/j.jbi.2004.11.004

G. Dean, X. Fron, W. Miller, J. Nicolaon, E. Hoffman et al., Initial results of investigation into autonomous aircraft concept (freer-1) In: Procceedings of the 1st USA Optimisation de trajectoires pour la résolution de conflits en route A traffic complexity approach through cluster analysis Automatic aircraft conflict resolution using genetic algorithms Multifactor interactions and the air traffic controller: the interaction of situation awareness and workload in association with automation, Proceedings of the Symposium on Applied Computing, pp.5-687, 1995.

H. R. Erzberger, D. Seminar-frazzoli, E. Mao, Z. Oh, J. Feron et al., Conflict probing and resolution in the presence of errors Resolution of conflicts involving many aircraft via semidefinite programming, Procceedings of the 1st USA, 1997.

M. Gariel and E. Feron, 3D conflict avoidance under uncertainties, 2009 IEEE/AIAA 28th Digital Avionics Systems Conference, pp.4-7, 2009.
DOI : 10.1109/DASC.2009.5347480

D. Karikawa, H. Aoyama, M. Takahashi, K. Furuta, T. Wakabayashi et al., A visualization tool of en route air traffic control tasks for describing controller???s proactive management of traffic situations, Cognition, Technology & Work, vol.14, issue.6, pp.10111-10123, 1007.
DOI : 10.1080/00140137108931277

D. Karikawa, H. Aoyama, M. Takahashi, K. Furuta, A. Ishibashi et al., Analysis of the performance characteristics of controllers??? strategies in en route air traffic control tasks, Cognition, Technology & Work, vol.20, issue.1, pp.389-403, 2014.
DOI : 10.1080/10508410903416037

M. Keehner, M. Hegarty, C. Cohen, P. Khooshabeh, and D. Montello, Spatial Reasoning With External Visualizations: What Matters Is What You See, Not Whether You Interact, Cognitive Science: A Multidisciplinary Journal, vol.32, issue.7, pp.1099-1132, 2008.
DOI : 10.1080/03640210801898177

URL : http://onlinelibrary.wiley.com/doi/10.1080/03640210801898177/pdf

D. Meckiff, D. Gibbs, J. Shewchun, and E. Feron, PHARE : Highly interactive problem solver Design and analysis of conflict resolution algorithms via positive semidefinite programming [aircraft conflict resolution, Decision and Control Proceedings of the 36th IEEE Conference on, pp.4179-4185649489, 1994.

L. Pallottino, A. Bicchi, E. Feron, E. Pallottino, L. Feron et al., Mixed integer programming for aircraft conflict resolution Conflict resolution problems for air traffic management systems solved with mixed integer programming. Intelligent Transportation Systems, AIAA Guidance Navigation and Control Conference, pp.3-11994791, 2001.

T. Prevot, P. Lee, N. Smith, E. Palmer, T. Prevot et al., Atc technologies for controller-managed and autonomous flight operations Initial study of controller/automation integration for nextgen separation assurance In: AIAA Guidance, Navigation and Control Conference and Exhibit Automated air traffic control operations with weather and time-constraints. In: 9th ATM R&D Seminar Price A, Meckiff C (1997) Hips and its application to oceanic control CaMeRa: A computational model of multiple representations, AIAA Guidance, Navigation and Control Conference and Exhibit Cognitive Science, vol.21, issue.3, pp.305-350, 1997.

B. Tversky, Functional significance of visuospatial representations (eds) The Cambridge Handbook of Visuospatial Thinking, pp.1-34, 2005.