An efficient decentralized approach to processor-group membership maintenance in real-time LAN systems: the PRHB/ED scheme | IEEE Conference Publication | IEEE Xplore