The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. - Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; H. Becker; Enrico Ferrari; J. Jahic; Alper Kanak; Mikel Labayen Esnaola; Vanessa Orani; David Pereira; Luigi Pomante; Rupert Schlick; et al. (DSD, 2020)