Abstraction Refinement for Large Scale Model Checking - Wang, Chao; Hachtel, Gary D.; Somenzi, Fabio (Springer US, 2006)