Analysis and design of effective and low-overhead transmission power control for VANETs | Synapse