Failures of safety-critical electronic systems can result in loss of life, substantial financial damage or severely harm the environment.