On optimal cooperative conflict resolution for air traffic management systems | IEEE Journals & Magazine | IEEE Xplore