Using a Cyber Digital Twin for Continuous Automotive Security Requirements Verification. - Ana Cristina Franco da Silva; Stefan Wagner 001; Eddie Lazebnik; Eyal Traitel (IEEE Softw., 2023)