A. Tostes, F. Duarte-Figueiredo, J. Almeida, and A. Loureiro. " Analytical Traffic Contention Model in VANET Using Real Mobility Data", in Proceedings of the 11th Workshop on Performance of Computer and Communication Systems, Curitiba/PR, 2012, pp. 85-98.