Fault detection and exclusion of cycle slips for carrier-phase in GNSS positionning | IEEE Conference Publication | IEEE Xplore