The design of next generation smart electricity grids, intelligent transportation, electron microscopy and high-end printing requires a tight coordination between computation, communication and control elements (the cyber part) on the one hand, and physical processes such as heating, cooling, motion, vibrations, etc. (the physical part) on the other hand. Despite the need for integrated design of these so-called Cyber-Physical Systems (CPS), the corresponding scientific disciplines (control, computer science, etc.) have predominantly developed independently.