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