Abstract: Embedded systems often consist of deeply intertwined hardware and software components. At the same time, they are often used in safety-critical applications ...