Before revision:  This leads to the study of a stochastic game with optimal stopping subject to early termination resulting from a default .
After revision:  This leads to the study of an optimal stopping game subject to early termination resulting from a default .