Testing Scenario Library Generation for Connected and Automated Vehicles, Part II: Case Studies | IEEE Journals & Magazine | IEEE Xplore