@INPROCEEDINGS{Najla_ECSA10,
AUTHOR = {{Najla Hadj Kacem and Ahmed Hadj Kacem and Khalil Drira}},
TITLE = {A Formal Approach to Enforcing Consistency in Self-adaptive Systems},
BOOKTITLE = {Proceedings of the 4th European Conference on Software
Architecture},
PAGES = {279--294},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer},
YEAR = {2010},
keywords  = {DeploymentManagement},
DOI = {10.1007/978-3-642-15114-9_21}
}