Ionospheric Total Electron Content Estimation Using GNSS Carrier Phase Observations Based on Zero-Difference Integer Ambiguity: Methodology and Assessment | IEEE Journals & Magazine | IEEE Xplore