A raim approach to GNSS outlier and cycle slip detection using L1 carrier phase time-differences | IEEE Conference Publication | IEEE Xplore