← A Framework for Automated Driving System Testable …