A knowledge-based en route monitor for air traffic control | IEEE Journals & Magazine | IEEE Xplore