safety-critical systems.