Validation and Verification of Automated Systems | lit.salon