Time-Slot Reservation and Channel Switching Using Markovian Model for Multichannel TDMA MAC in VANETs | IEEE Journals & Magazine | IEEE Xplore