Delimited persistent stochastic non-interference