[. Durand, J. Alliot, and J. Bosc, Cats, a complete air traffic simulator, Proceedings of DASC97, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00937713

[. Durand, J. Alliot, J. Bosc, and L. Maugis, An experimental study of atm capacity, Proceedings of Europe-USA conference on Air Traffic Management, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00937705

[. Hansen, Global optimizations using interval analysis. Dekker, pp.0-8247, 1992.

. P. Nfc-+-83-]-w, I. Niedringhaus, J. C. Frolow, A. H. Corbin, N. J. Gisch et al., Automated En Route Air Traffic Control Algorithmic Specifications: Flight Plan Conflict Probe Automated planning function for AERA3: Manoeuver Option Manager, 1989.

D. /. Faa-/-ds-89nie89b-]-w and . Niedringhaus, A mathematical formulation for planning automated aircraft separation for AERA3, 1989.

[. Saporta, Probabilités, analyse des données et statistique, 1990.