MODELING CHANNEL SWITCHING AND CONTENTION CONTROL IN VEHICULAR NETWORKS