P. Ramadge and W. Wonham, Modular Feedback Logic for Discrete Event Systems, SIAM Journal on Control and Optimization, vol.25, issue.5, pp.1202-1218, 1987.
DOI : 10.1137/0325066

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, 1995.
DOI : 10.1109/9.412626

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A polynomial algorithm for testing diagnosability of discrete event systems, IEEE Transactions on Automatic Control, vol.46, issue.8, 2001.

T. Yoo and S. Lafortune, Polynomial-time verification of diagnosability of partially-observed discrete-event systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002.

R. Alur and D. Dill, A theory of timed automata, Proceedings of the International Conference on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'02), ser. LNCS, W. Damm and E.-R, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

P. Bouyer, F. Chevalier, and D. Souza, Fault Diagnosis Using Timed Automata, Proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'05), ser, pp.219-233, 2005.
DOI : 10.1007/978-3-540-31982-5_14

F. Cassez and S. Tripakis, Fault diagnosis with static or dynamic diagnosers, Fundamenta Informaticae, vol.88, issue.4, pp.497-540, 2008.

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

J. Couvreur, A. Duret-lutz, and D. Poitrenaud, On-the-fly emptiness checks for generalized büchi automata, SPIN, ser, pp.169-184, 2005.

S. Schwoon and J. Esparza, A Note on On-the-Fly Verification Algorithms, TACAS, ser, pp.174-190, 2005.
DOI : 10.1007/978-3-540-31980-1_12

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

T. Yoo and H. Garcia, Computation of fault detection delay in discrete-event systems, Proceedings of the 14th International Workshop on Principles of Diagnosis, DX'03, pp.207-212, 2003.

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

G. Behrmann, A. David, and K. G. Larsen, A tutorial on UPPAAL, " in Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT, pp.200-236, 2004.

M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis et al., Kronos: A model-checking tool for real-time systems, CAV, ser, pp.546-550, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00374788

G. Behrmann, J. Bengtsson, A. David, K. G. Larsen, P. Pettersson et al., UppaaL Implementation Secrets, Proc. of 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, 2002.
DOI : 10.1007/3-540-45739-9_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.9800

S. Tripakis, Checking timed B??chi automata emptiness on simulation graphs, ACM Transactions on Computational Logic, vol.10, issue.3, pp.forthcom- ing, 2009.
DOI : 10.1145/1507244.1507245

G. Behrmann, A. Cougnard, A. David, E. Fleury, K. G. Larsen et al., UPPAAL-Tiga: Time for Playing Games!, CAV, ser, pp.121-125, 2007.
DOI : 10.1007/978-3-540-73368-3_14
URL : https://hal.archives-ouvertes.fr/hal-00350466

A. David, K. G. Larsen, and D. Lime, UPPAAL-TiGA 2009 ? Towards Realizable Strategies, 2009.