The VALU3S ECSEL project: Verification and validation of automated systems safety and security | Publicación