Verification and validation in systems engineering | lit.salon