Semi-Analytical Valuation of Basket Credit Derivatives in Intensity-Based Models · Study