Noise-induced cycle slips in a PLL: computing the average time to first cycle slip | IEEE Conference Publication | IEEE Xplore