Governed Hazard Predicates and Assurance Cases for STA Runtime Oversight | Synapse