An Optimization and Validation Method to Detect the Collision Scenarios and Identifying the Safety Specification of Highly Automated Driving Vehicle | IEEE Conference Publication | IEEE Xplore