A Survey on Adaptive Multi-Channel MAC Protocols in VANETs Using Markov Models | IEEE Journals & Magazine | IEEE Xplore