Modeling and analysis of system dependability using the system availability estimatorAlvin M. BlumAmbuj Goyalet al.1994FTCS 1994