A sequential stratified importance sampling method for extremely small time-dependent failure probability with high-dimensional input vector · Study