Simulation-Based Methods for Validation of Automated Driving: A Model-Based Analysis and an Overview about Methods for Implementation | IEEE Conference Publication | IEEE Xplore