Anil Tiwari, A. N. ,V.K. P. Analysis of a Semi-Markov Model for Software Reliability. int. jour. eng. com. sci 2015, 4.