1. Avizienis A, Laprie J-C, Randell B (2000) Fundamental concepts of dependability. In: Proceeding of 3rd Information Survivability Workshop, pp 7–11, October 2000
2. Johnson BW (1989) Design and analysis of fault-tolerant digital systems. Addison Wesley, New York
3. Lala PK (1985) Fault tolerant and fault testable hardware design. PHI
4. Zang X, Sun H, Trivedi KS (1999) A BDD-based algorithm for reliability graph analysis. IEEE Trans Reliab 48(1):50–60
5. Zang X (1999) Dependability modeling of computer systems and networks. PhD thesis, Department of Electrical and Computer Engineering, Duke University