Closed-form pricing formula for exchange option with credit risk. (October 2016)