Computing Over−Approximations with Bounded Model Checking - Kroening, D (Elsevier, 2006)