Analysis and Design of Vehicular Networks