1. Alonso-Ayuso, A., Escudero, L.F., Martín-Campo, F.J.: Collision avoidance in air traffic management: a mixed-integer linear optimization approach. IEEE Trans. Intell. Transp. Syst. 12(1), 47–57 (2011)
2. Alonso-Ayuso, A., Escudero, L.F., Martín-Campo, F.J.: A mixed 01 nonlinear optimization model and algorithmic approach for the collision avoidance in ATM: velocity changes through a time horizon. Comput. Oper. Res. 39(14), 3136–3146 (2012)
3. Belotti, P., Lee, J., Liberti, L., Margot, F., Wächter, A.: Branching and bounds tightening techniques for non-convex MINLP. Optim. Methods Softw. 24(4), 597–634 (2009)
4. Bonini, D., Dupré, C., Granger, G.: How ERASMUS can support an increase in capacity in 2020. In: Proceedings of the 7th International Conference on Computing, Communications and Control Technologies: CCCT 2009, Orlando, Florida (2009)
5. Durand N., Alliot J.M.: Optimal resolution of en-route conflict. In: Proceedings of the Eurocontrol/FAA ATM Seminar. Eurocontrol/FAA, (1997)