Quantitative model verification in VANET based on interval probabilistic timed automata | IEEE Conference Publication | IEEE Xplore