Application of Kalman filtering to spacecraft range residual prediction | IEEE Journals & Magazine | IEEE Xplore