Knight R. Lightweight Simulation of Air Traffic Control Using Simple Temporal Networks. AIIDE [Internet]. 2006 Jun. 20 [cited 2026 May 7];2(1):48-53. Available from: https://ojs.aaai.org/index.php/AIIDE/article/view/18745