David Déharbe Silvio Ranise Satisfiability solving for software verification. 255-260 2009 11 STTT 3 http://dx.doi.org/10.1007/s10009-009-0105-6 db/journals/sttt/sttt11.html#DeharbeR09