Validation and Verification of Automated Systems Results of the ENABLE-S3 Project - Leitner, Andrea; Watzenig, Daniel; Ibanez-Guzman, Javier (Springer International Publishing, 2020)