Modeling and Performance Analysis of IEEE 1609.4 Multi-Channel Operation in Vehicular Networks | IEEE Conference Publication | IEEE Xplore