Stochastic activity networks for the performance evaluation of fault tolerant systems