Exact and approximated discrete-time non-linear models of voltage switched CP-PLL | IEEE Conference Publication | IEEE Xplore