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