A Membership Service for a Distributed, Embedded System Based on a Time-Triggered FlexRay Network | IEEE Conference Publication | IEEE Xplore