Software Verification and Validation (Artech Computer Science Library)