@incollection{'CBT+5',
title = { Correctness of Service Components and Service Component Ensembles },
author = {Combaz, Jacques and Bensalem, Saddek and Tiezzi, Francesco and Margheri, Andrea and Pugliese, Rosario and Kofron, Jan},
year = {2015},
booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS} Approach},
crossref = {DBLP:series/lncs/8998},
pages = {107--159},
team = {DCS, RSD},
}