Semi-Markov Process and Reliability by Gheorghe Oprisan & N. Limnios