Cassar, Ian and Francalanza, Adrian and Mezzina, Claudio Antares and Tuosto, Emilio  Reliability and Fault-Tolerance by Choreographic Design.  In: 2. International Workshop on Pre- and Post-Deployment Verification Techniques, September 19, 2017, Torino, Italy pp. 69-80.        (2017)