Problem resolution support for free flight operations. - Daniel B. Kirk; Winfield S. Heagy; Michael J. Yablonski (IEEE Trans. Intell. Transp. Syst., 2001)