@Inproceedings{ascens-fmco-2011,
   status = {public},
   link = {http://www.pst.ifi.lmu.de/~hoelzl/fmco-2011.pdf},
   task = {T8.2},
   publisher = {Springer},
   booktitle = {Formal Methods for Components and Objects, 10th International Symposium,FMCO 2011},
   joint-pub = {true},
   series = {LNCS},
   year = {2013},
   invited = {true},
   timestamp = {2013.11.07},
   volume = {7542},
   main = {yes},
   title = {{ASCENS: Engineering Autonomic Service-Component Ensembles}},
   editor = {Bernhard Beckert and Ferruccio Damiani and Marcello Bonsangue and Frank {de Boer}},
   author = {Martin Wirsing and Matthias H{\"o}lzl and Mirco Tribastone and Franco Zambonelli},
   period = {2},
   owner = {kroiss},
   accessible = {true},
   partner = {LMU, UNIMORE},
   ascens_ref = {true},
   wp = {WP8},
   pages = {1 - 24}
}