Mobility Models, Topology, and Simulations in VANET | part of Mobile Ad Hoc Networking: The Cutting Edge Directions | Wiley-IEEE Press books | IEEE Xplore