Reliability modeling and analysis of k-out-of-n: F systems with self-healing components | IET Conference Publication | IEEE Xplore