An analytical model for TDMA-based MAC protocols in VANETs | IEEE Conference Publication | IEEE Xplore