Software Reliability Engineering by John D. Musa & John Musa