Vehicular Networks with Infrastructure: Modeling, Simulation and Testbed