Time-varying, frequency-domain modeling and analysis of phase-locked loops with sampling phase-frequency detectors | IEEE Conference Publication | IEEE Xplore