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

. Barral, Formulating diagnostic problem solving using an action language with narratives and sensing Introduction to Discrete Event Systems Diagnosis and diagnosability analysis using PEPA Using model-checking techniques for diagnosing discrete-event systems Event-based diagnosis for evolutive systems, International Conference on Knowledge Representation and ReasoningCassandras and LafortuneConsole 14th European Conference on Artificial Intelligence (ECAI-2000) 12th International Workshop on Principles of Diagnosis (DX'01)Cordier and Thiébaux 5th International Workshop on Principles of Diagnosis (DX-94) 10th International Workshop on Principles of Diagnosis (DX-99), pp.311-322, 1994.

C. Pencolé, A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks, 12th International Workshop on Principles of Diagnosis (DX'01), pp.121-170, 2001.
DOI : 10.1016/j.artint.2005.01.002

. Sampath, Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology (CST-96), pp.105-124, 1996.