Design and analysis of efficient fault-detecting network membership protocols | IEEE Conference Publication | IEEE Xplore