Favaro, F.; "Safety Supervisory Control, Model-Based Hazard Monotoring, and Temporal Logic: Dynamic Risk-Informed Safety Interventions and Accident Prevention," School of Aerospace Engineering, Georgia Institute of Technology, Atlanta, GA, 2016