P. Baldan, T. Chatain, S. Haar, and B. König, Unfolding-based diagnosis of systems with an evolving topology, LNCS, vol.5201, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00638204

I. Beer, S. Ben-david, H. Chockler, A. Orni, and R. J. Trefler, Explaining counterexamples using causality. Formal Methods in System Design, pp.20-40, 2012.
DOI : 10.1007/978-3-642-02658-4_11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.1935

A. Benveniste, S. Haar, E. Fabre, and C. Jard, Distributed Monitoring of Concurrent and Asynchronous Systems, CONCUR 2003, 2003.
DOI : 10.1007/978-3-540-45187-7_1
URL : https://hal.archives-ouvertes.fr/inria-00638342

A. Brennan, Necessary and sufficient conditions The Stanford Encyclopedia of Philosophy, 2012.

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

G. Gössler and L. Astefanoaei, Blaming in component-based real-time systems, Proceedings of the 14th International Conference on Embedded Software, EMSOFT '14, 2014.
DOI : 10.1145/2656045.2656048

G. Gössler and D. L. Métayer, A general framework for blaming in component-based systems, Science of Computer Programming, vol.113, p.2015
DOI : 10.1016/j.scico.2015.06.010

A. Groce, S. Chaki, D. Kroening, and O. Strichman, Error explanation with distance metrics, International Journal on Software Tools for Technology Transfer, vol.28, issue.2, pp.229-247, 2006.
DOI : 10.1007/s10009-005-0202-0

S. Haar and E. Fabre, Diagnosis with Petri Net Unfoldings, Control of Discrete-Event Systems, 2013.
DOI : 10.1007/978-1-4471-4276-8_15
URL : https://hal.archives-ouvertes.fr/hal-00926087

J. Y. Halpern and C. Hitchcock, Graded causation and defaults. CoRR, abs, 1226.
DOI : 10.1093/bjps/axt050
URL : http://arxiv.org/abs/1309.1226

J. Y. Halpern and J. Pearl, Causes and Explanations: A Structural-Model Approach. Part I: Causes, The British Journal for the Philosophy of Science, vol.56, issue.4, 2005.
DOI : 10.1093/bjps/axi147

I. Hwang, S. Kim, Y. Kim, and C. E. Seah, A Survey of Fault Detection, Isolation, and Reconfiguration Methods, IEEE Transactions on Control Systems Technology, vol.18, issue.3, 2010.
DOI : 10.1109/TCST.2009.2026285

M. Kuntz, F. Leitner-fischer, and S. Leue, From Probabilistic Counterexamples via Causality to Fault Trees, SAFECOMP, 2011.
DOI : 10.1007/11691372_29

D. , L. Métayer, and M. Maarek, Liability issues in software engineering: the use of formal methods to reduce legal uncertainties, Commun. ACM, vol.54, issue.4, 2011.

J. Pearl, Causality: Models, Reasoning and Inference, 2009.
DOI : 10.1017/CBO9780511803161

R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, 1987.

R. Stalnaker, A theory of conditionals. Studies in Logical Theory, pp.98-112, 1968.

R. J. Van-glabbeek and G. D. Plotkin, Configuration structures, event structures and Petri nets, Theoretical Computer Science, vol.410, issue.41, p.410, 2009.
DOI : 10.1016/j.tcs.2009.06.014

S. Wang, A. Ayoub, R. Ivanov, O. Sokolsky, and I. Lee, Contract-based blame assignment by trace analysis, Proceedings of the 2nd ACM international conference on High confidence networked systems, HiCoNS '13, 2013.
DOI : 10.1145/2461446.2461463

J. Zaytoon and S. Lafortune, Overview of fault diagnosis methods for Discrete Event Systems, Annual Reviews in Control, vol.37, issue.2, p.2013
DOI : 10.1016/j.arcontrol.2013.09.009

R. N°-8772 and R. Centre-grenoble-?-rhône-alpes, Inovallée 655 avenue de l'Europe Montbonnot 38334 Saint Ismier Cedex Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria, pp.249-6399