GPS receiver tracking loop design based on a Kalman filtering approach - Yang, Yuhong (Array, 2012)