Stable backward reachability correction for PLL verification with consideration of environmental noise induced jitter | IEEE Conference Publication | IEEE Xplore