State-domain based Integrity Monitoring of Satellite Orbit and Clock Corrections for RT-PPP | IEEE Journals & Magazine | IEEE Xplore