Analytical valuation of power exchange options with default risk · Study