Enhancing the integrity of integrated GPS/INS systems by cycle slip detection and correction | IEEE Conference Publication | IEEE Xplore