Optimality conditions and local regularity of the value function for the optimal exit time problem - Luong V. Nguyen (2017)