A Regional Space Segment Health Monitor for Local GPS Integrity Monitoring - Milner,C; Ochieng,W; Schuster,W; Porretta,M; Curry,C (Journal of Navigation, 2011)