Validation and Verification of Automated SystemsAndrea Leitner, Daniel Watzenig, Javier Ibanez-Guzman₹9,265