Automatic commercial aircraft-collision avoidance in free flight: the three-dimensional problem. - Manolis A. Christodoulou; Sifis G. Kodaxakis (IEEE Trans. Intell. Transp. Syst., 2006)