Validation and Verification of Automated Systemsby Andrea Leitner, Daniel Watzenig, Javier Ibanez-GuzmanWriting a summary for young readers…For young readersBook data: Open Library