Vertical integrity monitoring with direct positioning | IEEE Conference Publication | IEEE Xplore