Verification, Validation And Testing Of Engineered Systems by Avner Engel