Abstraction Refinement for Stability | IEEE Conference Publication | IEEE Xplore