Credit Risk Modeling In A Semi-Markov Process Environment