Stochastic Automata for Fault Tolerant Concurrent Systems