Statistics for Scenario Modeling and Execution for Simulation Testing of Automated-Driving Systems