Per Bjesse: Industrial Model Checking Based on Satisfiability Solvers. SPIN 2002: 240