Martin Fränzle Christian Herde HySAT: An efficient proof engine for bounded model checking of hybrid systems. 179-198 2007 30 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-006-0031-0 db/journals/fmsd/fmsd30.html#FranzleH07