Cabri, Giacomo and Capodieci, Nicola and Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Tiezzi, Francesco and Zambonelli, Franco  Self-expression and Dynamic Attribute-Based Ensembles in SCEL.   In:  Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change.   Lecture Notes in Computer Science  (8802).  Springer, pp. 147-163.  ISBN 978-3-662-45233-2      (2014)