Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems. - Srajan Goyal; Alberto Griggio; Jacob Kimblad; Stefano Tonetta (FMAS@iFM, 2023)