Message Scheduling for the FlexRay Protocol: The Static Segment | IEEE Journals & Magazine | IEEE Xplore