. Finally, here are some open problems about fault diagnosis of timed systems: ? diagnosability with DTA with no fixed resource or with fixed resource but no bound ? on the maximal delay

A. K. Bibliography, C. F. , and T. S. , Monitoring and Fault-Diagnosis with Digital Clocks, Proceedings of the 6th International Conference on Application of Concurrency to System Design (ACSD'06), pp.101-110, 2006.

A. R. Alur and . Dill-d, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

A. R. Alur, . Fix-l, and . A. Henzinger-t, A determinizable class of timed automata, Proceedings of the 6th International Conference on Computer Aided Verification (CAV'94), pp.1-13, 1994.
DOI : 10.1007/3-540-58179-0_39

. B. Bérard, . Diekert-v, . Gastin-p, and . Petit-a, Characterization of the Expressive Power of Silent Transitions in Timed Automata, Fundamenta Informaticae, vol.36, pp.2-3, 1998.

B. P. and C. F. D-'souza-d, Fault Diagnosis Using Timed Automata, Proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'05), pp.219-233, 2005.

C. J. Duret-lutz-a and P. D. Godefroid, On-the-Fly Emptiness Checks for Generalized Büchi Automata, Proceedings of SPIN, pp.169-184, 2005.

. J. Holzmann-g, Software Model Checking with Spin, Advances in Computers, vol.65, pp.78-109, 2005.
DOI : 10.1016/S0065-2458(05)65002-4

J. S. Huang-z and C. V. Kumar-r, A Polynomial Algorithm for Testing Diagnosability of Discrete Event Systems, IEEE Transactions on Automatic Control, vol.46, issue.8, 2001.

J. S. Kumar-r, Diagnosis of Dense-Time Systems Using Digital Clocks, Proceedings of the American Control Conference (ACC'06), 2006.

T. M. Krichen, Black-Box Conformance Testing for Real-Time Systems, Proc. of the 11th International SPIN Workshop on Model Checking of Software (SPIN'04), pp.109-126, 2004.
DOI : 10.1007/978-3-540-24732-6_8

T. M. Krichen, Real-Time Testing with Timed Automata Testers and Coverage Criteria, Proceedings of Formal Techniques, Modelling and Analysis of Timed and Fault Tolerant Systems (FORMATS-FTRTFT'04), pp.134-151, 2004.
DOI : 10.1007/978-3-540-30206-3_11

L. S. Ricker-l and G. S. , DESUMA: A Tool Integrating GIDDES and UMDES, 2006 8th International Workshop on Discrete Event Systems, 2006.
DOI : 10.1109/WODES.2006.382402

. Sam, . M. Sampath, L. S. Sengupta-r, . Sinnamohideen-k, and . D. Teneket-zis, Diagnosability of Discrete Event Systems, IEEE Transactions on Automatic Control, vol.40, issue.9, 1995.

. Sam, . M. Sampath, L. S. Sengupta-r, . Sinnamohideen-k, and . D. Teneket-zis, Failure Diagnosis Using Discrete-Event Models, IEEE Transactions on Control Systems technology, vol.4, issue.2, 1996.

S. P. Bérard-b, . Bidoit-m, . Laroussinie-f, and . Petit-a, Vérification de logiciels : Techniques et outils de model-checking, 1999.

S. S. , E. J. Halbwachs, and . D. Zuck-l, A Note on On-the-Fly Verification Algorithms, TACAS, pp.174-190, 2005.

T. S. Yoo and L. S. , Polynomial-Time Verification of Diagnosability of Partially-Observed Discrete-Event Systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002.