G. Barbon, V. Leroy, and G. Salaün, Debugging of concurrent systems using counterexample analysis, Fundamentals of Software Engineering -7th International Conference, pp.20-34, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01533401

P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella, Diagnosis of large active systems, Artificial Intelligence, vol.110, issue.1, pp.135-183, 1999.

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

V. Brusoni, L. Console, P. Terenziani, and D. T. Dupré, A spectrum of definitions for temporal model-based diagnosis, Artificial Intelligence, vol.102, issue.1, pp.39-79, 1998.

C. J. , C. , and A. Grastien, Formulating event-based critical observations in diagnostic problems, 26th International Workshop on Principles of Diagnosis (DX-15), pp.119-126, 2015.

L. Console and P. Torasso, A spectrum of logical definitions of model-based diagnosis, Computational Intelligence, vol.7, issue.3, pp.133-141, 1991.

V. Danos, J. Feret, W. Fontana, R. Harmer, J. Hayman et al., Graphs, rewriting and pathway reconstruction for rule-based models, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012, vol.18, pp.276-288, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00809065

, Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches, 2019.

G. Gössler and J. Stefani, Causality analysis and fault ascription in component-based systems, 2019.

A. Houssam-eddine-gougam, Y. Subias, and . Pencolé, Supervision patterns: formal diagnosability checking by Petri net unfolding, IFAC Proceedings Volumes, vol.46, pp.73-78, 2013.

S. Haar, C. Kern, and S. Schwoon, Computing the reveals relation in occurrence nets, of Electronic Proceedings in Theoretical Computer Science, vol.54, pp.31-44, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00638262

Y. Joseph, J. Halpern, and . 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.

W. Hamscher, L. Console, and J. De-kleer, Readings in Model-based Diagnosis, 1992.

H. L. , A. Hart, and T. Honoré, Causation in the law, 1985.

H. Thierry-jéron, S. Marchand, M. Pinchinat, and . Cordier, Supervision patterns in discrete event systems diagnosis, 8th International Workshop on Discrete Event Systems, pp.262-268, 2006.

H. Jin, K. Ravi, and F. Somenzi, Fate and free will in error traces, STTT, vol.6, issue.2, pp.102-116, 2004.

R. Koitz, -. Hristov, and F. Wotawa, Applying algorithm selection to abductive diagnostic reasoning, Applied Intelligence, vol.5, pp.1-19, 2018.

S. A. Mcllraith, Explanatory diagnosis: Conjecturing actions to explain observations, pp.155-172

H. Springer-berlin, , 1999.

Y. Pencolé and M. Cordier, A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks, Artificial Intelligence, vol.164, issue.1, pp.121-170, 2005.

M. Sampath, R. Sengupta, and S. Lafortune, Kasim Sinnamohideen, and Demosthenis Teneketzis. Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.

S. Jiang and R. Kumar, Failure diagnosis of discrete-event systems with linear-time temporal logic specifications, IEEE Transactions on Automatic Control, vol.49, issue.6, pp.934-945, 2004.