Abstraction Refinement For Large Scale Model Checking by Gary D. Hachtel, Fabio Somenzi & Chao Wang