Discussion and case analysis of PBN barometric vertical navigation flight procedure criteria | IEEE Conference Publication | IEEE Xplore