Edmund M. Clarke Armin Biere Richard Raimi Yunshan Zhu Bounded Model Checking Using Satisfiability Solving. 7-34 2001 19 Formal Methods in System Design 1 db/journals/fmsd/fmsd19.html#ClarkeBRZ01