Passivity-based design and analysis of phase-locked loops | Publicación