@Incollection{bhkmt14,
   status = {public},
   language = {English},
   link = {http://dx.doi.org/10.1007/978-3-662-45234-9_10},
   task = {T6.3},
   publisher = {Springer Berlin Heidelberg},
   doi = {10.1007/978-3-662-45234-9_10},
   booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change},
   series = {Lecture Notes in Computer Science},
   year = {2014},
   isbn = {978-3-662-45233-2},
   invited = {no},
   volume = {8802},
   main = {no},
   title = {{Towards Performance-Aware Engineering of Autonomic Component Ensembles}},
   editor = {Tiziana Margaria and Bernhard Steffen},
   author = {Tomáš Bureš and Vojtěch Horký and Michał Kit and Lukáš Marek and Petr Tůma},
   period = {year4},
   keyword = {ensemble-based systems; component systems; performance engineering},
   partner = {CUNI},
   wp = {wp6},
   pages = {131-146}
}