Abstraction refinement for large scale model checking - Wang, Chao. (Integrated Circuits and Systems, 2006)