Gordon Fraser Franz Wotawa Complementary Criteria for Testing Temporal Logic Properties. 58-73 2009 TAP http://dx.doi.org/10.1007/978-3-642-02949-3_6 conf/tap/2009 db/conf/tap/tap2009.html#FraserW09