Embedded systems are ubiquitous. They are found in aircraft as flight control systems, in cars as infotainment systems or advanced driver assistance systems (ADAS), and of course in our everyday…