In many embedded systems, for instance, in the automotive, avionic, or robotics domain, critical functionalities are implemented via …
Software applications in automotive systems are comprised of communicating real-time tasks, described by cause-effect chains. To …