A novel real time cycle slip detection and repair method for a single dual-frequency GNSS receiver | IEEE Conference Publication | IEEE Xplore