Verification, validation, and testing of engineered systems - Engel, Avner