1. Cherkaoui O, Bétouret F, Deca R (2004) On the Transactional Issues of the Netconf Protocol. Université du Québec à Montréal, unpublished report.
2. Case J, Fedor M, Schoffstall M, Davin J (1990) Simple Network Management Protocol, STD 15. RFC 1157
3. Cisco SNMP Object Navigator. http://tools.cisco.com/Support/SNMP/
4. Clarke EM, Grumberg O, Peled DA (2000) Model Checking. MIT Press, Cambridge
5. Crubézy M (2002) The Protégé Axiom Language and Toolset (“PAL”). Protégé Project, Stanford University http://protege.stanford.edu/