Dynamic analysis of VANET using temporal reachability graph | IEEE Conference Publication | IEEE Xplore