E. Bonet, R. de Oliveira, and R. Lange. " Discussão sobre o uso do Real-Time Calculus na Modelagem do Barramento FlexRay", in Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais, Florianópolis, 2011, pp. 83-85.