Testing Scenario Library Generation for Connected and Automated Vehicles, Part I: Methodology | IEEE Journals & Magazine | IEEE Xplore