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

P. Ramadge and W. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

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. S. 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.

S. Tripakis, Fault Diagnosis for Timed Automata, Proceedings of the International Conference on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'02, pp.205-224, 2002.
DOI : 10.1007/3-540-45739-9_14

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, pp.219-233, 2005.
DOI : 10.1007/978-3-540-31982-5_14

R. Debouk, S. Lafortune, and D. Teneketzis, Coordinated decentralized protocols for failure diagnosis of discrete event systems, Discrete Event Dynamic Systems, vol.10, issue.1/2, pp.33-86, 2000.
DOI : 10.1023/A:1008335115538

Y. Wang, T. S. Yoo, and S. Lafortune, Diagnosis of Discrete Event Systems Using Decentralized Architectures, Discrete Event Dynamic Systems, vol.49, issue.11, pp.233-263, 2007.
DOI : 10.1007/s10626-006-0006-8

W. Qiu and R. Kumar, Decentralized failure diagnosis of discrete event systems, IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, vol.36, issue.2, pp.384-395, 2006.

J. Basilio and S. Lafortune, Robust codiagnosability of discrete event systems, 2009 American Control Conference, pp.2202-2209, 2009.
DOI : 10.1109/ACC.2009.5160208

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, 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 2004, pp.200-236, 2004.
DOI : 10.1007/978-3-540-30080-9_7

F. Cassez, The complexity of codiagnosability for discrete event and timed systems, Research report National ICT Australia, vol.24, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00493640

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

D. Kozen, Lower bounds for natural proof systems, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.254-266, 1977.
DOI : 10.1109/SFCS.1977.16

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

F. Cassez, A note on fault diagnosis algorithms, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference, 2009.
DOI : 10.1109/CDC.2009.5399968
URL : https://hal.archives-ouvertes.fr/inria-00493631

P. Bouyer, D. Souza, P. Madhusudan, and A. Petit, Timed Control with Partial Observability, Proceedings of the 15th International Conference on Computer Aided Verification (CAV'03, pp.180-192, 2003.
DOI : 10.1007/978-3-540-45069-6_18

F. Cassez, S. Tripakis, and K. Altisen, Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), pp.90-99, 2007.
DOI : 10.1109/ACSD.2007.27
URL : https://hal.archives-ouvertes.fr/inria-00363030

L. Aceto and F. Laroussinie, Is your model checker on time? on the complexity of model checking for timed modal logics, J. Log. Algebr. Program, pp.52-53, 2002.