safety cases were conceived [112] to provide a formal documentary basis that
regulators, auditors, etc., needed to verify with high levels of justified confidence
the reliability and fault-tolerance of safety-critical systems. A new term was
coined for systems and software that required the exhibition of critical properties