Probabilistic analysis of a group failure detection protocol | IEEE Conference Publication | IEEE Xplore