HyParView: a membership protocol for reliable gossip-based broadcast - João Leitão (2010)