De Nicola, Rocco and Duong, Tan and Inverso, Omar and Mazzanti, Franco  Verifying Properties of Systems Relying on Attribute-Based Communication.   In:  ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday.   Lecture Notes in Computer Science, 10500 .  Springer, pp. 169-190.  ISBN 978-3-319-68270-9      (2017)