@inproceedings{ 
BLNRT99, 
author = "R. Bollo and J.P. Le Narzul and M. Raynal and F. Tronel", 
title = "Probabilistic Analysis of a Group Failure Detection Protocol", 
booktitle = "Proc. of the 4th IEEE Int. Workshop on Object-Oriented Real-Time Dependable Systems", 
year = 1999, 
month = "Jan", 
pages = "156--162", 
address = "Santa Barbara, CA", 
publisher = "IEEE"}