[1]
R. Knight, “Lightweight Simulation of Air Traffic Control Using Simple Temporal Networks”, AIIDE, vol. 2, no. 1, pp. 48-53, Sep. 2021.