Employing Digital Twins for Security-by-Design System Testing. - Marietheres Dietz; Leon Hageman; Constantin von Hornung; Günther Pernul (SAT-CPS@CODASPY, 2022)