A Permutation-Based Model for Analysis of Resource Allocation Overheads in Vehicular Ad Hoc Networks | IEEE Journals & Magazine | IEEE Xplore