Before revision:  This leads to the analytic and numerical studies of an optimal stopping problem subject to early termination due to default.
After revision:  This leads to the analytic and numerical studies of several optimal stopping problems subject to early termination due to default.