M. Tounsi, M. Mosbah, and D. Méry, “Proving Distributed Algorithms by Combining Refinement and Local Computations”, eceasst, vol. 35, Aug. 2011.