Conflict Detection and Resolution for Civil Aviation: A Literature Survey | IEEE Journals & Magazine | IEEE Xplore