Piecewise Stochastic Barrier Functions