The automotive industry is transforming to embrace opportunities afforded by inexpensive yet powerful computers, sensors, and wireless technology. New vehicle designs call for implementation of sophisticated infotainment systems, mobile communication technology, and navigation systems, as well as safety features such as sensors for pedestrian detection and collision avoidance. Next generation automobiles will employ extensive use of automation for speed and lane control, and parking assist. While continued electrification and automation of the automobile are inevitable, nevertheless, obstacles remain. Key among these is the design and development of interfaces that comfortably link drivers to largely automated, and highly connected vehicles through elegant, efficient and safe interactions. Currently there is no common, industry-wide design and specification language for describing human-computer interaction, built and packaged to integrate safety, efficiency, and driver satisfaction. Therefore, the first objective of the proposed project is to develop such a language and syntax. The second objective is to use formal mathematical techniques to define a generic set of “bad” properties that contribute to human error and frustration during interaction. A third objective is to establish a set of “good” design patterns, encapsulated in a formal mathematical description, productive of consistent, efficient, and elegant human-automation interaction throughout the entire suite of automotive connectivity and automation features. The final objective is to develop a systematic process and tools for the application of the abovementioned objectives. The project will be conducted at and in close collaboration with engineering design teams in Europe (Opel and Vauxhall). The results would be applicable to any system involving human-machine interaction.