Fault Detection and Correction Using Observation Domain Optimization for GNSS Applications | IEEE Conference Publication | IEEE Xplore