Safety supervisory control, model-based hazard monitoring, and temporal logic: Dynamic risk-informed safety interventions and accident prevention