Text this: Semi-Markov processes and reliability /