Probabilistic Model Checking-Based Survivability Analysis in Vehicle-to-Vehicle Networks
Li Jin, Guoan Zhang*, Jue Wang
China Communications . 2018, (1): 118 -127 .