Knight, R. Lightweight Simulation of Air Traffic Control Using Simple Temporal Networks. AIIDE 2021, 2, 48-53.