Formal verification of phase-locked loops using reachability analysis and continuization | IEEE Conference Publication | IEEE Xplore