Even though, you know it, you might not always notice it. Electronic embedded systems are, quite literally, everywhere. From (smart) TVs to production lines, and from medical appliances to self-driving cars – these days, all kinds of devices contain a certain level of sensing, actuation, control, computing and communication capabilities. With the increasing complexity and growing emphasis on the resource constraints of this type of equipment and technology, dependability and robustness of embedded systems applications are key.