Fang-Cheng Chan, Mathieu Joerger, Boris Pervan: Stochastic modeling of atomic receiver clock for high integrity gps navigation. IEEE Trans. Aerosp. Electron. Syst. 50(3): 1749-1764 (2014)