Design and evaluation of NextGen aircraft separation assurance concepts | IEEE Conference Publication | IEEE Xplore