Gordon Fraser Franz Wotawa Using LTL rewriting to improve the performance of model-checker based test-case generation. 64-74 2007 conf/amost/2007 A-MOST http://doi.acm.org/10.1145/1291535.1291542 db/conf/amost/amost2007.html#FraserW07