Validation and Verification of Automated SystemsAndrea Leitner, Daniel Watzenig, Javier Ibanez-Guzman · First published 2019Open the Tome