High-integrity navigation: a frequency-domain approach | IEEE Journals & Magazine | IEEE Xplore