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

G. Lamperti and M. Zanella, Contextsensitive diagnosis of discrete-event systems, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp.969-975, 2011.

J. De-kleer, B. Janssen, D. G. Bobrow, T. Kurtoglu, B. Saha et al., Fault augmented Modelica models, 24th Int. Workshop on Principles of Diagnosis (DX), pp.71-78, 2013.

H. Garavel, F. Lang, and W. Serwe, From LOTOS to LNT, ModelEd, TestEd, TrustEd-Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol.10500, pp.3-26, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01621670

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

L. Console, D. T. Dupré, and P. Torasso, On the relationship between abduction and deduction, Journal of Logic and Computation, vol.1, issue.5, pp.661-690, 1991.

J. De-kleer and B. C. Williams, Diagnosing multiple faults, Artificial Intelligence, vol.32, issue.1, pp.97-130, 1987.

J. De-kleer, A. K. Mackworth, and R. Reiter, Characterizing diagnosis and systems, Artificial Intelligence, vol.56, issue.2-3, pp.197-222, 1992.

R. Greiner, B. A. Smith, and R. W. Wilkerson, A correction to the algorithm in Reiter's theory of diagnosis, Artificial Intelligence, vol.41, issue.1, pp.79-88, 1989.

I. Nica, I. Pill, T. Quaritsch, and F. Wotawa, The route to success-a performance comparison of diagnosis algorithms, International Joint Conference on Artificial Intelligence (IJCAI), pp.1039-1045, 2013.

D. Champelovier, X. Clerc, H. Garavel, Y. Guerte, C. Mckinty et al., INRIA, 2017.

. Iso/iec, LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, International Organization for Standardization-Information Processing Systems-Open Systems Interconnection, 1989.

D. Stephen, C. A. Brookes, A. W. Hoare, and . Roscoe, A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1984.

H. Garavel and W. Serwe, The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark, Proceedings of the 2nd Workshop on Models for Formal Analysis of Real Systems (MARS'17), vol.244, pp.230-270, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01511847

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.15, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, Proceedings of the 15th International Symposium on Formal Methods (FM'08), vol.5014, pp.148-164, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00315312

H. Garavel and F. Lang, SVL: a Scripting Language for Compositional Verification, Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'01), pp.377-392
URL : https://hal.archives-ouvertes.fr/inria-00072396

, Full version available as, IFIP, 2001.

W. Serwe, Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard, Proceedings of the International Workshop on Models for Formal Analysis of Real Systems (MARS'15), vol.196, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01227999

, Federal Information Processing Standards Publication 46-3, 1999.

R. Davis, Diagnostic reasoning based on structure and behavior, Artificial Intelligence, vol.24, pp.347-410, 1984.

L. Console, G. Friedrich, and D. T. Dupré, Model-based diagnosis meets error diagnosis in logic programs, Proceedings 13 th International Joint Conf. on Artificial Intelligence, pp.1494-1499, 1993.

G. W. Bond, Logic Programs for ConsistencyBased Diagnosis, 1994.

G. Friedrich, M. Stumptner, and F. Wotawa, Model-based diagnosis of hardware designs, Artificial Intelligence, vol.111, issue.2, pp.3-39, 1999.
DOI : 10.1016/s0004-3702(99)00034-x

URL : https://doi.org/10.1016/s0004-3702(99)00034-x

M. Stumptner and F. Wotawa, Debugging Functional Programs, Proceedings 16 th International Joint Conf. on Artificial Intelligence, pp.1074-1079, 1999.

C. Mateis, M. Stumptner, and F. Wotawa, Modeling Java Programs for Diagnosis, ECAI, pp.171-175, 2000.

W. E. Wong, R. Gao, Y. Li, R. Abreu, and F. Wotawa, A survey on software fault localization, IEEE Trans. Software Eng, vol.42, issue.8, pp.707-740, 2016.
DOI : 10.1109/tse.2016.2521368

URL : http://www.utdallas.edu/%7Eewong/fault-localization-survey.pdf

I. Pill and T. Quaritsch, Behavioral diagnosis of LTL specifications at operator level, International Joint Conference on Artificial Intelligence, pp.1053-1059, 2013.

B. Peischl, I. Pill, and F. Wotawa, Using Modelica programs for deriving propositional horn clause abduction problems, Lecture Notes in Computer Science, vol.9904, pp.185-191
DOI : 10.1007/978-3-319-46073-4_18

. Springer, , 2016.

G. Gössler, Blaming in component-based real-time systems, Proceedings of the 14th International Conference on Embedded Software, EMSOFT'14, vol.7, pp.1-7, 2014.

G. Salaün and L. Ye, Debugging Process Algebra Specifications, VMCAI 2015, vol.8931, p.18, 2015.

G. Barbon, V. Leroy, and G. Salaün, Debugging of Concurrent Systems Using Counterexample Analysis, Revised selected papers of 7th International Conference on Fundamentals of Software Engineering, vol.10522, pp.20-34, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01533401