Cycle Slip Detection and Repair Using an Array of Receivers with Known Geometry for RTK Positioning | IEEE Conference Publication | IEEE Xplore