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.

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, http://www.w3.org/TeamSubmission, 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

R. E. Tarjan, Depth-First Search and Linear Graph Algorithms, SIAM Journal on Computing, vol.1, issue.2, pp.146-160, 1972.
DOI : 10.1137/0201010
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.327.8418

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