Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele  Programming of CAS Systems by Relying on Attribute-Based Communication.   In:  Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques.   Springer, pp. 539-553.  ISBN 978-3-319-47166-2      (2016)