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)