A Batch Algorithm for GNSS Carrier Phase Cycle Slip Correction | IEEE Journals & Magazine | IEEE Xplore