Edmund M. Clarke Anubhav Gupta Ofer Strichman 1113-1123 2004 23 IEEE Trans. on CAD of Integrated Circuits and Systems 7 http://doi.ieeecomputersociety.org/10.1109/TCAD.2004.829807 db/journals/tcad/tcad23.html#ClarkeGS04