Modeling credit portfolio derivatives, including both a default and a prepayment feature. (12th July 2012)