Lyapunov redesign of classical digital phase-lock loops | IEEE Conference Publication | IEEE Xplore