The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security