Gordon Fraser Franz Wotawa Improving Model-Checkers for Software Testing. 25-31 2007 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2007.30 conf/qsic/2007 db/conf/qsic/qsic2007.html#FraserW07