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

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-2000), pp.131-135, 2000.

J. Lunze, Discrete-event modelling and diagnosis of quantized dynamical systems, 10th International Workshop on Principles of Diagnosis (DX-99), pp.147-154, 1999.

Y. Pencolé, M. O. Cordier, and L. Rozé, Incremental decentralized diagnosis approach for the supervision of a telecommunication network, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., pp.151-158, 2001.
DOI : 10.1109/CDC.2002.1184533

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