Design and Modeling of Hybrid Fault-Tolerant Software With Cost Constraints. - W. Jie; Eduardo B. Fernández; Z. Manxia (J. Syst. Softw., 1996)