Kalman Filter-Based Integrity Monitoring for MADOCA - PPP in Terrestrial Applications | IEEE Conference Publication | IEEE Xplore