Transient Analysis of Idle Time in VANETs Using Markov-Reward Models | IEEE Journals & Magazine | IEEE Xplore