Design equations and baseband model for double-sampling phase-locked loop | IEEE Conference Publication | IEEE Xplore