Verification, Validation and Testing of Engineered Systems