Performance and Reliability of DSRC Vehicular Safety Communication: A Formal Analysis. (18th January 2009)