A semi-Markov maintenance model with credit rating application | OUP Journals & Magazine | IEEE Xplore