T. R. Gruber, Toward principles for the design of ontologies used for knowledge sharing. Presented at the Padua workshop on Formal Ontology, later published in, International Journal of Human-Computer Studies, vol.43, pp.4-5, 1993.

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

D. Becket and B. Mcbride, RDF/ XML Syntax Specification (Revised). W3C recommendationREC-rdf-syntax-grammar, 2004.

T. Berners-lee, J. Hendler, and O. Lassila, The Semantic Web. Scientific American, pp.34-43, 2001.

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

J. J. Klyne, Resource Description Framework (rdf): Concepts and abstract syntax, p.3, 2004.

V. Bönström, A. Hinze, and H. Schweppe, Storing RDF as a graph, Proceedings of the IEEE/LEOS 3rd International Conference on Numerical Simulation of Semiconductor Optoelectronic Devices (IEEE Cat. No.03EX726), 2003.
DOI : 10.1109/LAWEB.2003.1250279

T. Berners-lee and D. Connolly, Notation3 (N3): A readable RDF syntax. W3C recommendation, 2008.

D. Becket and B. Mcbride, RDF test cases. W3C Working draft, 2004.

J. P. Katoen, The principal of Model Checking, 2002.

M. Gueffaz, S. Rampacek, and C. Nicolle, SCALESEM: Evaluation of Semantic graph based on Model Checking, The 7th International Conference on Web Information Systems and Technologies, WEBIST, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00617998

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