Distributed coordination of task migration for fault-tolerant FlexRay networks | IEEE Conference Publication | IEEE Xplore