Integrity monitoring with vector GNSS receivers | IEEE Journals & Magazine | IEEE Xplore