Bonet, E., 		de Oliveira, R., & 		Lange, R.
(2011).
 Discussion on the Usage of Real-Time Calculus to Model the FlexRay-Bus.
In <em>Proceedings of the 1st Brazilian Symposium on Computing Systems Engineering</em>, (pp. 83-85). Porto Alegre: SBC.