Quantification of midair collision risk for established on required navigation performance operations | IEEE Conference Publication | IEEE Xplore