Ofer Strichman Accelerating Bounded Model Checking of Safety Properties. 5-24 2004 24 Formal Methods in System Design 1 http://dx.doi.org/10.1023/B:FORM.0000004785.67232.f8 db/journals/fmsd/fmsd24.html#Strichman04