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