@Inbook{SCEL15-ASCENS15a,
   status = {public},
   task = {T1.1},
   publisher = {Springer},
   series = {LNCS},
   year = {2015},
   invited = {no},
   volume = {8998},
   main = {yes},
   note = {(Book title: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project)},
   title = {{The SCEL Language: Design, Implementation, Verification}},
   editor = {Martin Wirsing and Matthias Hölzl and Nora Koch and Philip Mayer},
   author = {Rocco De Nicola and Diego Latella and Alberto Lluch-Lafuente and Michele Loreti and Andrea Margheri and Mieke Massink and Andrea Morichetta and Rosario Pugliese and Francesco Tiezzi and Andrea Vandin},
   period = {year4},
   partner = {UNIFI,UNIPI,IMT,ISTI},
   chapter = {1.2.1},
   wp = {WP1}
}