The development of embedded systems for safety-critical application domains is on the rise. Since the safety requirements for these systems are high and difficult to integrate in the development process, standards were ...