2015. Analysis of a Semi-Markov Model for Software Reliability. International Journal of Engineering and Computer Science. 4, 12 (Dec. 2015).