P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella, Diagnosis of large active systems, Artificial Intelligence, vol.110, issue.1, pp.135-183, 1999.
DOI : 10.1016/S0004-3702(99)00019-3

C. Barral, S. Mcilraith, and T. C. Son, Formulating diagnostic problem solving using an action language with narratives and sensing, pp.311-322, 2000.

J. R. Burch, E. M. Clarke, K. L. Mc-millan, D. L. Dill, and L. J. Hwang, Symbolic model checking: 10/sup 20/ states and beyond, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, pp.142-170, 1992.
DOI : 10.1109/LICS.1990.113767

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 1999.

A. Cimatti and M. Roveri, Conformant planning via symbolic model checking, Journal of Artificial Intelligence Research, vol.13, pp.305-338, 2000.

E. M. Clarke, O. Grumberg, M. Minea, and D. Peled, State space reduction using partial order techniques, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.3, pp.279-287, 1998.
DOI : 10.1007/s100090050035

E. Clarke, O. Grumberg, and D. Peled, Model checking, 1999.

L. Console, C. Picardi, and M. Ribaudo, Diagnosis and diagnosability using PEPA, pp.131-135, 2000.

M. Cordier and C. Largouët, Using model-checking techniques for diagnosing discrete-event systems, pp.39-46, 2001.

M. Cordier and S. Thiébaux, Eventbased diagnosis for evolutive systems, pp.64-69, 1994.

H. Marchand and L. Rozé, Diagnostic de pannes sur des systèmessystèmesévénements discrets : une approchè a base de modèles symboliques, pp.191-200, 2002.

D. Mcdermott, A critique of pure reason, Computational Intelligence, vol.1, issue.3, pp.151-237, 1987.
DOI : 10.1016/0004-3702(80)90014-4

D. Peled, All from one, one for all: on model checking using representatives, CAV'93, pp.409-423, 1993.
DOI : 10.1007/3-540-56922-7_34

Y. Pencolé, Diagnostic décentralisé de syst` emesàévénementsemesàemesàévénements discrets : application aux réseaux de télécommunications, 2002.