Cycle-slip detection using soft-output information | IEEE Conference Publication | IEEE Xplore