Modeling and analysis of system dependability using the System Availability Estimator | IEEE Conference Publication | IEEE Xplore