Performance and Reliability of DSRC Vehicular Safety Communication: A Formal Analysis | Synapse