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)