Software quality approaches: testing, verification, and validation - Haug, Michael (Software best practice, 2001)