De Nicola, Rocco and Lluch Lafuente, Alberto and Loreti, Michele and Morichetta, Andrea and Pugliese, Rosario and Senni, Valerio and Tiezzi, Francesco Programming and Verifying Component Ensembles. In: From Programs to Systems. The Systems perspective in Computing. Lecture Notes in Computer Science (8415). Springer, pp. 69-83. ISBN 978-3-642-54847-5 (2014)