BUREŠ, T., HORKÝ, V., KIT, M., MAREK, L., TŮMA, P. Towards Performance-Aware Engineering of Autonomic Component Ensembles. In: MARGARIA, T., STEFFEN, B., eds. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I. Berlin: Springer, 2014, s. 131-146. Lecture Notes in Computer Science, 8802. ISBN 978-3-662-45233-2. ISSN 0302-9743. Dostupné z: https://doi.org/10.1007/978-3-662-45234-9_10