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

A. Balke and J. Pearl, Probabilistic evaluation of counterfactual queries, AAAI, pp.230-237, 1994.

A. Beer, S. Heidinger, U. Kühne, F. Leitner-fischer, and S. Leue, Symbolic causality checking using bounded model checking, Model Checking Software -22nd International Symposium, vol.9232, pp.203-221, 2015.

I. Beer, S. Ben-david, H. Chockler, A. Orni, and R. J. Trefler, Explaining counterexamples using causality. Formal Methods in System Design, vol.40, pp.20-40, 2012.

A. Benveniste, S. Haar, E. Fabre, and C. Jard, Distributed Monitoring of Concurrent and Asynchronous Systems, CONCUR 2003, vol.2761, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00638219

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

M. R. Clarkson and F. B. Schneider, Hyperproperties. Journal of Computer Security, vol.18, issue.6, pp.1157-1210, 2010.

A. Datta, D. Garg, D. K. Kaynar, D. Sharma, and A. Sinha, Program actions as actual causes: A building block for accountability, IEEE 28th Computer Security Foundations Symposium, pp.261-275, 2015.

S. K. Dyrkolbotn, On preemption and overdetermination in formal theories of causality, Proc. 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, vol.259, pp.1-15, 2017.

C. Glymour, D. Danks, B. Glymour, F. Eberhardt, J. Ramsey et al., Actual causation: a stone soup essay, Synthese, vol.175, issue.2, pp.169-192, 2010.

G. Gössler and L. A?tef?noaei, Blaming in component-based real-time systems, EMSOFT'14, vol.7, pp.1-7, 2014.

G. Gössler and D. L. Métayer, A general framework for blaming in component-based systems, Science of Computer Programming, vol.113, issue.3, pp.223-235, 2015.

G. Gössler, O. Sokolsky, and J. Stefani, Counterfactual causality from first principles, Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, vol.259, pp.47-53, 2017.

G. Gössler and J. B. Stefani, Fault ascription in concurrent systems, Proc. Trustworthy Global Computing -10th International Symposium, vol.9533, 2015.

C. W. Granger, Testing for causality, Journal of Economic Dynamics and Control, vol.2, pp.329-352, 1980.

S. Haar and E. Fabre, Diagnosis with petri net unfoldings, Control of Discrete-Event Systems, vol.433, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00926087

J. Y. Halpern and C. Hitchcock, Graded causation and defaults, 2013.

J. Y. Halpern, A modification of the halpern-pearl definition of causality, Proc. Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, pp.3022-3033, 2015.

J. Y. Halpern and J. Pearl, Causes and explanations: A structural-model approach. part I: Causes, British Journal for the Philosophy of Science, vol.56, issue.4, pp.843-887, 2005.

M. Hopkins and J. Pearl, Causality and counterfactuals in the situation calculus, J. Log. Comput, vol.17, issue.5, 2007.

I. Hwang, S. Kim, Y. Kim, and C. E. Seah, A survey of fault detection, isolation and reconfiguration methods, IEEE Trans. on Control Systems Technology, vol.18, issue.3, 2010.

B. Jacobs, A. Kissinger, and F. Zanasi, Causal inference by string diagram surgery, Proc. Foundations of Software Science and Computation Structures -22nd International Conference, FOSSACS 2019, vol.11425, pp.313-329, 2019.

S. Kleinberg, Causality, Probability, and Time, 2012.

M. Kuntz, F. Leitner-fischer, and S. Leue, From probabilistic counterexamples via causality to fault trees, LNCS, vol.6894, pp.71-84, 2011.

J. Laurent, J. Yang, and W. Fontana, Counterfactual resimulation for causal analysis of rule-based models, Proc. 27th International Joint Conference on Artificial Intelligence, IJCAI-18, vol.7, pp.1882-1890, 2018.

F. Leitner-fischer and S. Leue, Probabilistic fault tree synthesis using causality computation, IJCCBS, vol.4, issue.2, pp.119-143, 2013.

D. Lewis, . Counterfactuals, and . Blackwell, , 1973.

J. Mccarthy, Situations, actions, and causal laws, 1963.

J. Pearl, Causality: Models, Reasoning, and Inference, 2000.

J. Pearl, Theoretical impediments to machine learning with seven sparks from the causal revolution, Proc. Eleventh ACM International Conference on Web Search and Data Mining (WSDM '18), pp.3-3, 2018.

R. Reiter, A theory of diagnosis from first principles, Artif. Intell, vol.32, issue.1, pp.57-95, 1987.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Failure diagnosis using discrete-event models, IEEE Trans. Contr. Sys. Techn, vol.4, issue.2, pp.105-124, 1996.

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

L. Travé-massuyès, Bridging control and artificial intelligence theories for diagnosis: A survey, Engineering Applications of Artificial Intelligence, vol.27, 2014.

R. J. Van-glabbeek and G. D. Plotkin, Configuration structures, event structures and petri nets, Theoretical Computer Science, vol.410, issue.41, 2009.

G. Winskel and M. Nielsen, Models for concurrency, Handbook of Logic in Computer science, vol.4, 1995.

J. Zaytoon and S. Lafortune, Overview of fault diagnosis methods for discrete event systems, Annual Reviews in Control, vol.37, issue.2, 2013.

S. Zdancewic and A. C. Myers, Observational determinism for concurrent program security, 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003, p.29, 2003.

, Saint Ismier Cedex Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria