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