Bilateral Counterparty Risk Valuation with Stochastic Dynamical Models and Application to Credit Default Swaps · Study