T. C. Ruys and E. Brinksma, Managing the verification trajectory, International Journal on Software Tools for Technology Transfer (STTT), vol.4, issue.2, pp.246-259, 2003.
DOI : 10.1007/s10009-002-0078-1

K. G. Larsen, P. Pettersson, and W. Yi, Model-checking for real-time systems, International Symposium on Fundamentals of Computation Theory, pp.62-88, 1995.
DOI : 10.1007/3-540-60249-6_41

C. Baier and J. Katoen, Principles of model checking, 2008.

R. J. Glushko and . Ed, The discipline of organizing, Bulletin of the American Society for Information Science and Technology, vol.40, issue.1, 2013.
DOI : 10.1002/bult.2013.1720400108

G. J. Holzmann, The Theory and Practice of A Formal Method: NewCoRe, In: IFIP Congress, issue.1, pp.35-44, 1994.

A. Groce and W. Visser, What went wrong: Explaining counterexamples In: Model Checking Software, pp.121-136, 2003.
DOI : 10.1007/3-540-44829-2_8

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.547

A. Avi?ienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing. Dependable and Secure Computing, IEEE Transactions on, vol.1, pp.11-33, 2004.

R. Reiter, A theory of diagnosis from first principles. Artificial intelligence, pp.57-95, 1987.

B. Peischl and F. Wotawa, Model-based diagnosis or reasoning from first principles. IEEE Intelligent Systems, pp.32-37, 2003.
DOI : 10.1109/mis.2003.1200725

S. P. Kavulya, K. Joshi, F. D. Giandomenico, and P. Narasimhan, Failure Diagnosis of Complex Systems, Resilience Assessment and Evaluation of Computing Systems, pp.239-261, 2012.
DOI : 10.1007/978-3-642-29032-9_12

V. Venkatasubramanian, R. Rengaswamy, K. Yin, and S. Kavuri, A review of process fault detection and diagnosis, Computers & Chemical Engineering, vol.27, issue.3, pp.293-311, 2003.
DOI : 10.1016/S0098-1354(02)00160-6

R. Pelánek, BEEM: Benchmarks for explicit model checkers In: Model Checking Software, pp.263-267, 2007.

A. Abecker, A. Bernardi, K. Hinkelmann, O. Kühn, and M. Sintek, Toward a technology for organizational memories, IEEE Intelligent Systems, vol.13, issue.3, pp.40-48, 1998.
DOI : 10.1109/5254.683209

A. Abecker and L. Van-elst, Ontologies for knowledge management, Handbook on ontologies, pp.713-734, 2009.

C. Guychard, S. Guerin, A. Koudri, A. Beugnard, and F. Dagnat, Conceptual interoperability through Models Federation, Semantic Information Federation Community Workshop, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00905036

B. Berthomieu, J. Bodeveix, P. Farail, M. Filali, H. Garavel et al., Fiacre: an Intermediate Language for Model Verification in the Topcased Environment, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00262442

P. Dhaussy, F. Boniol, J. Roger, and L. Leroux, Improving Model Checking with Context Modelling, Advances in Software Engineering, vol.6, issue.1, pp.9-99, 2012.
DOI : 10.1016/j.ins.2006.03.008

URL : https://hal.archives-ouvertes.fr/hal-00738735

J. Kolodner, Case-based reasoning. Kaufmann, 1997.

V. Leilde, V. Ribaud, and P. Dhaussy, Organizing problem and sample cases for model-based diagnosis. Submitted in Second International Workshop on Patterns in Model Engineering co-located with MODELS, 2016.

T. C. Ruijs, Towards Effective Model Checking, 2001.

J. Barnat, L. Brim, V. Havel, J. Havlí?ek, J. Kriho et al., DiVinE 3.0 ??? An Explicit-State Model Checker for Multithreaded C & C++ Programs, Computer Aided Verification, pp.863-868, 2013.
DOI : 10.1007/978-3-642-39799-8_60

R. Pelánek, Model Classifications and Automated Verification, pp.149-163, 2007.
DOI : 10.1007/978-3-540-79707-4_12