Malay K. Ganai Aarti Gupta Pranav Ashar Beyond safety: customized SAT-based model checking. 738-743 2005 conf/dac/2005 DAC http://doi.acm.org/10.1145/1065579.1065773 db/conf/dac/dac2005.html#GanaiGA05