Model-Driven Development of FlexRay-Based Systems with the Timing Definition Language (TDL) | IEEE Conference Publication | IEEE Xplore