Tounsi, M., Mosbah, M. and Méry, D. (2011) “Proving Distributed Algorithms by Combining Refinement and Local Computations”, Electronic Communications of the EASST, 35. doi: 10.14279/tuj.eceasst.35.442.