Next generation air traffic control automation | IBM Journals & Magazine | IEEE Xplore