"Testing Timed Finite State Machines with Guaranteed Fault Coverage."

Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics