Elements for prioritizing between conflict resolutions in air traffic control | IEEE Conference Publication | IEEE Xplore