Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Puviani, Mariachiara and Tiezzi, Francesco and Zambonelli, Franco  Formalising adaptation patterns for autonomic ensembles.   In:  Formal aspects of component software: 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers.   Lecture notes in computer science  (8348).  Springer, pp. 100-118.  ISBN 978-3-319-07601-0      (2014)