Martin Oberkönig Martin Schickel Hans Eveking A Quantitative Completeness Analysis for Property-Sets. 158-161 2007 conf/fmcad/2007 FMCAD http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.5 db/conf/fmcad/fmcad2007.html#OberkonigSE07