A low-cost processor group membership protocol for a hard real-time distributed system | IEEE Conference Publication | IEEE Xplore