Abstraction refinement for large scale model checking - Wang, Chao. (Springer, 2006)