Duminda Wijesekera Paul Ammann Lingya Sun Gordon Fraser Relating counterexamples to test cases in CTL model checking specifications. 75-84 2007 conf/amost/2007 A-MOST http://doi.acm.org/10.1145/1291535.1291543 db/conf/amost/amost2007.html#WijesekeraASF07