Transaction level modeling of a FlexRay communication network | IEEE Conference Publication | IEEE Xplore