N. Popescu, “Safety Verification and Validation Techniques for Autonomous Driving Systems”, JHASR, vol. 5, no. 1, pp. 71–87, Dec. 2022.