Probabilistic analysis of a group failure detection protocol. - Roger Bollo; Jean-Pierre Le Narzul; Michel Raynal; Frederic Tronel (WORDS (Jan.), 1999)