Operational Design Domain-Driven Coverage for the Safety Argumentation of Automated Vehicles | IEEE Journals & Magazine | IEEE Xplore