Analysis and modeling of correlated failures in multicomputer systems | Synapse