@article{ RT99, author = "M. Raynal and F. Tronel", title = "Group membership failure detection: a simple protocol and its probabilistic analysis", journal = "Distributed Systems Engineering Journal", year = 1999, volume = 6, number = 3, pages = "95--102"}