Stochastic modelling of protection systems by B.H.T. Smeets