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