Development of a Kalman filter based GPS satellite clock time-offset prediction algorithm | IEEE Conference Publication | IEEE Xplore