A. V. Konstantinou, D. Florissi, and Y. Yemini, Towards self-configuring networks, Proceedings DARPA Active Networks Conference and Exposition, 2002.
DOI : 10.1109/DANCE.2002.1003489

I. Warren, J. Sun, S. Krishnamohan, and T. Weerasinghe, An Automated Formal Approach to Managing Dynamic Reconfiguration, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06), pp.37-46, 2006.
DOI : 10.1109/ASE.2006.12

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.6909

T. Delaet, W. Joosen, and L. , PoDIM: A Language for High-Level Configuration Management, pp.261-273, 2007.

P. Goldsack, J. Guijarro, S. Loughran, A. Coles, A. Farrell et al., The SmartFrog configuration management framework, ACM SIGOPS Operating Systems Review, vol.43, issue.1, pp.16-25, 2009.
DOI : 10.1145/1496909.1496915

M. Bjorklund, YANG -A Data Modeling Language for the Network Configuration Protocol (NETCONF), Internet Engineering Task Force, vol.6020, 2010.
DOI : 10.17487/rfc6020

T. Hinrichs, N. Love, C. J. Petrie, L. Ramshaw, A. Sahai et al., Using Object-Oriented Constraint Satisfaction for Automated Configuration Generation, DSOM, pp.159-170, 2004.
DOI : 10.1145/321250.321253

L. Ramshaw, A. Sahai, J. Saxe, and S. Singhal, Cauldron: a policybased design tool, 7th IEEE International Workshop on Policies for Distributed Systems and Networks, pp.113-122, 2006.

L. Akue, E. Lavinal, and M. Sibilla, Towards a validation framework for dynamic reconfiguration, 2010 International Conference on Network and Service Management, pp.314-317, 2010.
DOI : 10.1109/CNSM.2010.5691219

E. Lavinal and M. Sibilla, Available: http://www.eclipse.org/modeling/emf A Model-Based Approach to Validate Configurations at Runtime, Eclipse Modeling Framework Project 4th International Conference on Advances in System Testing and Validation Lifecycle, pp.2012-133, 2013.

O. Dresden, Available: http://www.dresdenocl .org, Java TM Open Reliable Asynchronous Messaging (JORAM), vol.15, 2013.