Receiver autonomous integrity monitoring (RAIM) capability for sole-means GPS navigation in the oceanic phase of flight | IEEE Journals & Magazine | IEEE Xplore