Segregated failures model for availability evaluation of fault-tolerant systems