Lyapunov redesign of analog phase-lock loops | IEEE Journals & Magazine | IEEE Xplore