"Complementary Criteria for Testing Temporal Logic Properties."

Gordon Fraser, Franz Wotawa (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics