Verification, validation, and testing of engineered systems - Engel, Avner (Wiley series in systems engineering and management., 2010)