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