Analysis of alert message propagation on the highway in VANET assuming Markovian vehicle arrival process. (27th June 2020)