We describe the methodology, tools and technologies for designing and implementing communication and control systems for networked automated or driver assist vehicles. In addressing design, we discuss enabling methodologies and our suite of enabling computational tools for formal modeling, simulation, and implementation. We illustrate our description with design, development and implementation work we have performed for Automated Highway Systems, Autonomous Underwater Vehicles, Mobile Offshore Base, Unmanned Air Vehicles, and Cooperative Adaptive Cruise Control. We conclude with the...