Optimal Message Scheduling for the Static Segment of FlexRay | IEEE Conference Publication | IEEE Xplore