Ionospheric specification algorithms for precise GPS-based aircraft navigation | AGU Journals & Magazine | IEEE Xplore