Said Naser Said Kamil, Nigel Thomas: Modelling and Analysis of Commit Protocols with PEPA. EPEW 2017: 266-281