A Route Discovery Method for Alleviating Traffic Congestion Based on VANETs in Urban Transportations Considering a Relation between Vehicle Density and Average Velocity | IEEE Conference Publication | IEEE Xplore