Analysis of a Semi-Markov Model for Software Reliability. int. jour. eng. com. sci 2015, 4 (12).