Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype