@inproceedings{RoyHaridiReinefeldetal.2008, author = {P. Roy and Seif Haridi and Alexander Reinefeld and J. B. Stefani and R. Yap and T. Coupaye}, title = {Self Management for Large-Scale Distributed Systems}, booktitle = {Formal Methods for Components and Objects 2007 (FMCO 2007)}, year = {2008}, }