Vitalsource Technologies, Inc. Semi-markov Migration Models For Credit Risk