A Discrete-Time Model for the Design of Type-II PLLs With Passive Sampled Loop Filters | IEEE Journals & Magazine | IEEE Xplore