Matthew Clegg Keith Marzullo A low-cost processor group membership protocol for a hard real-time distributed system. 90-98 1997 conf/rtss/1997 IEEE Real-Time Systems Symposium http://computer.org/proceedings/rtss/8268/82680090abs.htm db/conf/rtss/rtss1997.html#CleggM97