Probabilistic scheduling of the FlexRay dynamic segment | IEEE Conference Publication | IEEE Xplore