Performance modeling and analysis of the ADHOC MAC protocol for VANETs.