Zhou, 2015. Non-zero-sum stopping games in continuous time.