safety-critical

(1)