M. Ben-ari, Principles of the Spin Model Checker, 2008.

T. C. Ruys and E. Brinksma, Managing the verification trajectory. International journal on software tools for technology transfer, pp.246-259, 2003.
DOI : 10.1007/s10009-002-0078-1

URL : http://doc.utwente.nl/63270/1/fulltext.pdf

C. Baier and J. P. Katoen, Principles of model checking, pp.19-82, 2008.

R. Davis, Diagnostic reasoning based on structure and behavior, Artificial Intelligence, vol.24, issue.1-3, pp.347-410, 1984.
DOI : 10.1016/0004-3702(84)90042-0

R. Davis and W. Hamscher, Model-based Reasoning: Troubleshooting, Exploring Artificial Intelligence: Survey Talks from the National Conferences in Artificial Intelligence, pp.297-346, 1988.
DOI : 10.1016/B978-0-934613-67-5.50012-5

URL : http://dspace.mit.edu/handle/1721.1/6491#files-area

A. Aamodt and E. Plaza, Case-based reasoning: foundational issues, methodological variations, and system approaches, pp.39-59, 1994.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, 1995.

C. Alexander, S. Ishikawa, and M. Silverstein, A Pattern Language: Towns, Buildings, Construction, 1977.

M. B. Dwyer, S. George, J. C. Avrunin, and . Corbett, Patterns in property specifications for finite-state verification, Proceedings of the 1999 International Conference on Software Engineering. IEE, 1999.

R. Pelánek, BEEM: Benchmarks for Explicit Model Checkers, Model Checking Software, pp.263-267, 2007.
DOI : 10.1007/978-3-540-73370-6_17

L. Lamport, Solved problems, unsolved problems and non-problems in concurrency, ACM SIGOPS Operating Systems Review, vol.19, issue.4, pp.34-44, 1985.
DOI : 10.1145/858336.858339

G. L. Peterson, Myths about the mutual exclusion problem, Information Processing Letters, vol.12, issue.3, pp.115-116, 1981.
DOI : 10.1016/0020-0190(81)90106-X