Analysis of a Semi-Markov Model for Software Reliability