Connectivity dynamics for vehicular ad-hoc networks in signalized road systems | IEEE Conference Publication | IEEE Xplore