Popescu, N. Safety Verification and Validation Techniques for Autonomous Driving Systems. JHASR 2022, 5, 71-87.