Abstract: In safety-critical domains such as industrial processes and automotive systems, accidents can have serious consequences, including the potential loss of human life. To mitigate risks ...