J. Garot and N. Durand, Failures in the automation of air traffic control, Colloque de l'AAA, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01291420

R. Graham and D. Young, Preparing an initial assessment of the SESAR concept of operations " EP3: Single european sky implementation support through validation, 2006.

M. Dalichampt, E. Petit, U. Junker, and J. Lebreton, Innovative slot allocation (ISA), 1997.

N. Barnier, P. Brisset, and T. Ere, Slot allocation with constraint programming: Models and results, International Air Traffic Management R&D Seminar ATM-2001, Santa Fe (NM), 2001.
URL : https://hal.archives-ouvertes.fr/hal-00938015

D. Gianazza and K. Guittet, Selection and Evaluation of Air Traffic Complexity Metrics, 2006 ieee/aiaa 25TH Digital Avionics Systems Conference, 2007.
DOI : 10.1109/DASC.2006.313710

URL : https://hal.archives-ouvertes.fr/hal-00938180

J. Alliot and D. Colin-deverdì-ere, ATM: 20 ans d'effort et perspectives, Symposium de l'Académie Nationale de l'Air et de l'Espace : vers l'automatisation du, 2003.

G. Granger, N. Durand, and J. Alliot, Optimal resolution of en route conflicts, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00938232

N. Archambault, Speed uncertainty and speed regulation in conflict detection and resolution in air traffic control, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01021734

C. Eurocontrol and . Brussels, Basic CFMU Handbook - General & CFMU Systems, 6, 2000.

P. Flener, J. Pearson, M. Agren, C. Garcia-avello, M. Celiktin et al., Air-traffic complexity resolution in multisector planning using constraint programming, Proceedings of ATM'07, the 7th USA, 2007.

N. Barnier, Application de la programmation par contraintesàtraintes`traintesà desprobì emes de gestion du trafic aérien, 2002.

H. Tran, D. , and P. Baptiste, Airspace sectorization by constraint programming, RIVF'03, 2003.

G. Granger, Détection et résolution de conflits aériens : modélisations et analyse, Thèse doctorat informatique de l'Ecole Polytechnique, 2002.

J. Alliot, J. Bosc, N. Durand, and L. Maugis, CATS: A Complete Air Traffic Simulator, 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings, 1997.
DOI : 10.1109/DASC.1997.637271

URL : https://hal.archives-ouvertes.fr/hal-00937713

N. Barnier and P. Brisset, FaCiLe: a Functional Constraint Library In Colloquium on Implementation of Constraint and LOgic Programming Systems CICLOPS'01 (Workshop of CP'01), 2001.

N. Barnier and P. Brisset, Graph Coloring for Air Traffic Flow Management, CPAIOR'02: Fourth Internation
DOI : 10.1023/B:ANOR.0000032574.01332.98

URL : https://hal.archives-ouvertes.fr/hal-00938022