Carrier phase null space monitor for ionospheric gradient detection | IEEE Journals & Magazine | IEEE Xplore