Khaled El-Fakih Nina Yevtushenko Hacène Fouchal Testing Timed Finite State Machines with Guaranteed Fault Coverage. 66-80 2009 TestCom/FATES http://dx.doi.org/10.1007/978-3-642-05031-2_5 conf/pts/2009 db/conf/pts/testcom2009.html#El-FakihYF09