Abstract: Safety requirements play a crucial role in ensuring the reliability of Cyber-Physical Systems. Causal graphs provide structured support for the generation and validation of safety ...