Verifying analog oscillator circuits using forward/backward abstraction refinement | IEEE Conference Publication | IEEE Xplore