@Inbook{Calinescu2017,
author="Calinescu, Radu
and Autili, Marco
and C{\'a}mara, Javier
and Di Marco, Antinisca
and Gerasimou, Simos
and Inverardi, Paola
and Perucci, Alexander
and Jansen, Nils
and Katoen, Joost-Pieter
and Kwiatkowska, Marta
and Mengshoel, Ole J.
and Spalazzese, Romina
and Tivoli, Massimo",
editor="Kounev, Samuel
and Kephart, Jeffrey O.
and Milenkoski, Aleksandar
and Zhu, Xiaoyun",
title="Synthesis and Verification of Self-aware Computing Systems",
bookTitle="Self-Aware Computing Systems",
year="2017",
publisher="Springer International Publishing",
address="Cham",
pages="337--373",
isbn="978-3-319-47474-8",
doi="10.1007/978-3-319-47474-8_11",
url="http://dx.doi.org/10.1007/978-3-319-47474-8_11"
}