Digital-Twin-Assisted Safety Control for Connected Automated Vehicles in Mixed-Autonomy Traffic | IEEE Journals & Magazine | IEEE Xplore