In many embedded systems, for instance, in the automotive, avionic, or robotics domain, critical functionalities are implemented via …