R. J. Caudill and W. L. Garrard, Vehicle-Follower Longitudinal Control for Automated Transit Vehicles, Journal of Dynamic Systems, Measurement, and Control, vol.99, issue.4, pp.241-248, 1977.
DOI : 10.1115/1.3427114

P. A. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency control and recovery in database systems, 1987.

I. Skog and P. Händel, In-Car Positioning and Navigation Technologies—A Survey, IEEE Transactions on Intelligent Transportation Systems, vol.10, issue.1, pp.4-21, 2009.
DOI : 10.1109/TITS.2008.2011712

R. Toledo-moreo, D. Bétaille, and F. Peyret, Lane-Level Integrity Provision for Navigation and Map Matching With GNSS, Dead Reckoning, and Enhanced Maps, IEEE Transactions on Intelligent Transportation Systems, vol.11, issue.1, pp.100-112, 2010.
DOI : 10.1109/TITS.2009.2031625
URL : https://hal.archives-ouvertes.fr/hal-00639616

A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004.
DOI : 10.1109/TDSC.2004.2

T. L. Willke, P. Tientrakool, and N. F. Maxemchuk, A survey of inter-vehicle communication protocols and their applications, IEEE Communications Surveys & Tutorials, vol.11, issue.2, pp.3-20
DOI : 10.1109/SURV.2009.090202

J. Hermant and G. L. Lann, A protocol and correctness proofs for realtime high-performance broadcast networks, 18 th IEEE Intl. Conference on Distributed Computing Systems (ICDCS'98), pp.26-29, 1998.

J. Lygeros, D. N. Godbole, and M. Broucke, A fault tolerant control architecture for automated highway systems, IEEE Transactions on Control Systems Technology, vol.8, issue.2, pp.205-219, 2000.
DOI : 10.1109/87.826792

S. E. Shladover, Longitudinal Control of Automotive Vehicles in Close-Formation Platoons, Journal of Dynamic Systems, Measurement, and Control, vol.113, issue.2, pp.231-241, 1991.
DOI : 10.1115/1.2896370

S. Panwai and H. Dia, Comparative Evaluation of Microscopic Car-Following Behavior, IEEE Transactions on Intelligent Transportation Systems, vol.6, issue.3, pp.314-325, 2005.
DOI : 10.1109/TITS.2005.853705

A. Chakravarthy, K. Song, and E. Freron, Preventing Automotive Pileup Crashes in Mixed-Communication Environments, IEEE Transactions on Intelligent Transportation Systems, vol.10, issue.2, pp.211-225, 2009.
DOI : 10.1109/TITS.2009.2018323

R. Ramanathan, J. Redi, C. Santivanez, D. Wiggins, and S. Polit, Ad hoc networking with directional antennas: a complete system solution, IEEE Journal on Selected Areas in Communications, vol.23, issue.3, pp.496-506, 2005.
DOI : 10.1109/JSAC.2004.842556

D. Dolev, N. A. Lynch, S. S. Pinter, E. W. Stark, and W. E. , Reaching approximate agreement in the presence of faults, Journal of the ACM, vol.33, issue.3, pp.499-516, 1986.
DOI : 10.1145/5925.5931

D. Dolev, C. Dwork, and L. Stockmeyer, On the minimal synchronism needed for distributed consensus, Journal of the ACM, vol.34, issue.1, pp.77-97, 1987.
DOI : 10.1145/7531.7533

G. M. Fitch, Safety benefit evaluation of a forward collision warning system: final report, NHTSA DOT HS, vol.810, issue.100, 2008.

M. Okun, A. Barak, and E. Gafni, Renaming in synchronous message passing systems with Byzantine failures, Distributed Computing, pp.403-413, 2008.
DOI : 10.1007/s00446-007-0045-x