Real-time knowledge-based support for air traffic management | IEEE Journals & Magazine | IEEE Xplore