Advanced KF-based methods for GNSS carrier tracking and ionospheric scintillation mitigation | IEEE Conference Publication | IEEE Xplore