Embedded systems are a central ingredient of technical products, e.g., in transportation, medical technology, or automationtechnology. Usually they are also interconnected and increasingly open (e.g., towards the Internet). Embedded systems can be found in control devices, in networks of control devices, in networks of control devices in a system (such as an airplane), and in systems, including integration into a system’s operating environment. The latter are also called “Cyber-Physical Systems”.