@Inbook{Combaz15-ASCENS15,
   status = {public},
   task = {T5.1},
   publisher = {Springer},
   series = {LNCS},
   year = {2015},
   invited = {no},
   timestamp = {2015.03.10},
   volume = {8998},
   main = {yes},
   note = {(Book title: Software Engineering for Collective Autonomic Systems: Results of the
ASCENS Project)},
   title = {{Correctness of Service Components and Service Component Ensembles}},
   editor = {Martin Wirsing and Matthias H{\"{o}}lzl and Nora Koch and Philip Mayer},
   author = {Jacques Combaz and Saddek Bensalem and Francesco Tiezzi and Andrea Margheri and Rosario Pugliese and Jan Kofron},
   period = {year4},
   owner = {Christian},
   partner = {Verimag,CUNI,UNIFI,IMT},
   chapter = {1.2.3},
   wp = {WP5}
}