D. Bonini, C. Dupré, and G. Granger, How ERASMUS can support an increase in capacity in 2020, Proceedings of CCCT: the 7th International Conference on Computing, Communications and Control Technologies, 2009.

S. Cafieri, A mixed-integer optimization model for air traffic deconfliction, Proceedings of GOW: the Global Optimization Workshop, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00938717

L. Cellier, S. Cafieri, and F. Messine, Hybridizing direct and indirect optimal control approaches for aircraft conflict avoidance, Proceedings of ADVCOMP: the 6th International Conference on Advanced Engineering Computing and Applications in Sciences, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00938826

R. Fourer, D. Gay, and B. Kernighan, AMPL: a modeling language for mathematical programming Thomson, 2003.

J. Kuchar, Y. , and L. , A review of conflict detection and resolution modeling methods, IEEE Transactions on Intelligent Transportation Systems, vol.1, issue.4, pp.179-189, 2000.
DOI : 10.1109/6979.898217

L. Pallottino, E. Feron, and A. Bicchi, Conflict resolution problems for air traffic management systems solved with mixed integer programming, IEEE Transactions on Intelligent Transportation Systems, vol.3, issue.1, pp.3-11, 2002.
DOI : 10.1109/6979.994791

E. Trélat, Contrôle optimal : théorie et applications, Vuibert, 2005.

A. Wächter and L. Biegler, On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming, Mathematical Programming, vol.10, issue.1, pp.25-27, 2006.
DOI : 10.1007/s10107-004-0559-y