Choi, KM, "Semi-Markov and delay time models of maintenance", , 1997