SAT-based counterexample-guided abstraction refinement | IEEE Journals & Magazine | IEEE Xplore