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, CICLOPS'01 (Workshop of CP'01), 2001.
URL : https://hal.archives-ouvertes.fr/hal-00938018

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

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