A Markov chain model for evaluating performance of Store-Carry-Forward procedure in VANETs | IEEE Conference Publication | IEEE Xplore