Linear Time-Variant Modeling and Analysis of All-Digital Phase-Locked Loops | IEEE Journals & Magazine | IEEE Xplore