Reliable intersection protocols using vehicular networks | Synapse