Verification and Validation in Simulations of Complex Engineered Systems