L.  Pallottino, Bicchi, A., and Pancanti, S., ?Safety of a decentralized scheme for Free-Flight ATMS using Mixed Integer Linear Programming?, in American Control Conference, 2002, pp. 742-747.