Knight, R. (2006) “Lightweight Simulation of Air Traffic Control Using Simple Temporal Networks”, Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2(1), pp. 48–53. doi: 10.1609/aiide.v2i1.18745.