GPS dynamic cycle slip detection and correction with baseline constraint | BIAI Journals & Magazine | IEEE Xplore