Making the most of BMC counterexamples - Groce, A; Kroening, D (Electronic Notes in Theoretical Computer Science, 2005)