Verification,validation and testing of engineered systems. - Engel, Avner (New jersey Wiley, 2020)