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