Safe and Protected: Combining Protection Mechanism with Safety Verification In Autonomous Vehicles | Synapse