Connectivity Modeling of Vehicular Ad Hoc Networks in Signalized City Roads | IEEE Conference Publication | IEEE Xplore