Software reliability engineered : - Musa, John D.