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

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

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

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

J. Kahan, M. Koivunen, E. Prud-'hommeaux, R. Swick, R. et al., Annotea, Proceedings of the tenth international conference on World Wide Web , WWW '01, 2001.
DOI : 10.1145/371920.372166

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