Passivity-based design and analysis of phase-locked loops | IEEE Conference Publication | IEEE Xplore