Safety Analysis for Cyber-Physical Systems Under Cyber Attacks Using Digital Twin. - Ruizhe Wang 005; Sarad Venugopalan; Sridhar Adepu (CSR, 2024)