C. Baier and J. Katoen, Principles of Model Checking, 2008.

T. Bray, J. Paoli, C. Sperberg-mcqueen, M. Maler, E. Yergeau et al., Extensible Markup Language (XML) 1.1 (second edition) W3C recommendation, pp.11-20060816, 2006.

A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri, NUSMV: a new symbolic model checker, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.4, 2000.
DOI : 10.1007/s100090050046

R. Djedidi, Approche d'évolution d'ontologie guidée par des patrons de gestion de changement, 2009.

M. Gueffaz, C. Cruz, and C. Nicolle, RDF2NµSMV: mapping semantic graphs to NµSMV model checker, The Third International Conference on Advances in Future Internet, 2011.

P. Haase and L. Stojanovic, Consistent Evolution of OWL Ontologies The Semantic Web: Research and Applications, LNCS, vol.3532, pp.182-197, 1007.

W. Jaziri, A Methodology for Ontology Evolution and Versioning, 2009 Third International Conference on Advances in Semantic Processing, pp.15-21, 2009.
DOI : 10.1109/SEMAPRO.2009.22

P. Pittet, C. Cruz, and C. Nicolle, Guidelines for a Dynamic Ontology -Integrating Tools of Evolution and Versionning in Ontology, International Conference on Knowledge Management in Information Systems, 2011.

P. Plessers and O. De-troyer, Resolving inconsistencies in evolving ontologies The Semantic Web: Research and Applications, Proceedings of the 3rd European Semantic Web Conference ESWC, pp.200-214, 2006.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

D. Rogozan, Gestion de l'évolution d'une ontologie: méthodes et outils pour un référencement sémantique évolutif fondé sur une analyse des changements entre versions de l'ontologie, 2008.

E. Sirin and B. Et-parsia, Pellet: An owl dl reasoner, Proceedings of the International Workshop on Description Logics, 2004.