«Verification, Validation, and Testing of Engineered Systems», oxşar kitablar