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)