Scheduling the FlexRay bus using optimization techniques | IEEE Conference Publication | IEEE Xplore