Constructing Random Times with Given Survival Processes and Applications to Valuation of Credit Derivatives · Study