Virtual Evaluation of Dependability Attributes for Mission-Critical Cyber-Physical Systems. - Adam Bachorek; Benedikt Lüken-Winkels; Iron Prando da Silva; Stefan Schwenk; Markus Damm; Pablo Oliveira Antonino (DSN-W, 2024)