Determining the Validity of Simulation Models for the Verification of Automated Driving Systems | IEEE Journals & Magazine | IEEE Xplore