Toward Efficient Electric-Vehicle Charging Using VANET-Based Information Dissemination | IEEE Journals & Magazine | IEEE Xplore