Verification And Validation Of Modern Software Systems door etc., G. Gordon Schulmeyer & Garth R. MacKenzie