Group membership protocol: specification and verification. - Yuri Gurevich; Raghu Mani (Specification and validation methods, 1993)