Semi-Markov Processes and Reliability