Yifei Dong C. R. Ramakrishnan Scott A. Smolka Model Checking and Evidence Exploration. 214-223 2003 conf/ecbs/2003 ECBS http://csdl.computer.org/comp/proceedings/ecbs/2003/1917/00/19170214abs.htm db/conf/ecbs/ecbs2003.html#DongRS03