Bartoletti, Massimo and Caires, Luis and Lanese, Ivan and Mazzanti, Franco and Sangiorgi, Davide and Torres Vieira, Hugo  and Zunino, Roberto  Tools and verification.   In:  Rigorous Software Engineering for Service-Oriented Systems.   Lecture Notes in Computer Science  (6582).  Springer, pp. 408-427.  ISBN 978-3-642-20400-5      (2011)