Stochastic traffic and connectivity dynamics for vehicular ad-hoc networks in signalized road systems | IEEE Conference Publication | IEEE Xplore