Discussion on the Usage of Real-Time Calculus to Model the FlexRay-Bus | IEEE Conference Publication | IEEE Xplore