ADAS Verification in Co-Simulation: Towards a Meta-Model for Defining Test Scenarios | IEEE Conference Publication | IEEE Xplore