Vitalsource Technologies, Inc. Abstraction Refinement For Large Scale Model Checking