Abstract: Safety-critical systems are integral to ensuring the reliability and safety of operations in sectors where failures can lead to severe losses. These systems are characterized by their ...