Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps
Patterns in Property Specifications for Finite-State Verification