L.  Pallottino and Bicchi, A., ?On the optimal conflict resolution for air traffic control?, in Proc. IEEE Intelligent Transportation Systems, Dearborn, MI, 2000, pp. 167-172.