Before revision:  Thereby, we derive explicitly the pricing formulae by set-valued Markov chain approach.
After revision:  Thereby, we derive analytically the dynamics of the default process by set-valued Markov chain approach.