Verification, Validation and Testing Of Engineered Systems by Avner Engel