A Markov Chain Based Model for Congestion Control in VANETs | IEEE Conference Publication | IEEE Xplore