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

M. O. Cordier and S. Thiébaux, Event-based diagnosis for evolutive systems, 5th International Workshop on Principles of Diagnosis (DX-94), pp.64-69, 1994.

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

L. Console, C. Picardi, and M. Ribaudo, Diagnosis and diagnosability analysis using PEPA, 14th European Conference on Artificial Intelligence (ECAI-00), pp.131-135, 2000.

M. O. Cordier and C. Largouët, Using model-checking techniques for diagnosing discrete-event systems, 12th International Workshop on Principles of Diagnosis, pp.39-46, 2001.

G. Lamperti and M. Zanella, Diagnosis of Active Systems, 2003.
DOI : 10.1007/978-94-017-0257-7

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology (CST-96, pp.105-124, 1996.

L. Rozé and M. O. Cordier, Diagnosing discrete-event systems : extending the " diagnoser approach " to deal with telecommunication networks, Journal on Discrete- Event Dynamic Systems: Theory and Applications, pp.43-81, 2002.