Safety Assessment of Highly Automated Vehicles Using Digital Twin Technology | IEEE Conference Publication | IEEE Xplore