Automated verification of potential GPS signal-in-space anomalies using ground observation data | IEEE Conference Publication | IEEE Xplore