https://1library.org/document/1y91kvdq-verification-of-vehicular-networks-using-probabilistic-model-checking.html