Verification and Validation in Systems Engineering