Receiver clock-based integrity monitoring for GPS precision approaches | IEEE Journals & Magazine | IEEE Xplore