@Inproceedings{DLMP+14,
   status = {public},
   task = {T1.1},
   publisher = {Springer},
   doi = {10.1007/978-3-642-54848-2},
   booktitle = {From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis.},
   series = {Lecture Notes in Computer Science},
   year = {2014},
   isbn = {978-3-642-54847-5},
   invited = {yes},
   volume = {8415},
   main = {no},
   title = {{Programming and Verifying Component Ensembles}},
   editor = {S. Bensalem and Y. Lakhnech and A. Legay},
   author = {Rocco De Nicola and Michele Loreti and Andrea Morichetta and Rosario Pugliese and Valerio Senni and Francesco Tiezzi and Luch-Lafuente Alberto},
   period = {year4},
   partner = {IMT,UDF},
   wp = {WP1},
   pages = {69-83}
}