1. A. Avižienis, A fault tolerance infrastructure for dependable computing with high performance COTS components, Proc. of the Int. Conference on Dependable Systems and Networks (DSN 2000), New York, June 2000, pages 492–500.
2. A. Avižienis and Y. He, Microprocessor entomology: A taxonomy of design faults in COTS microprocessors. In J. Rushby and C.B. Weinstock, editors, Dependable Computing for Critical Applications 7, IEEE Computer Society Press, 1999, pp. 3–23.
3. Y. He and A. Avižienis. Assessment of the applicability of COTS microprocessors in high confidence computing systems: A case study. Proceedings of ICDSN 2000, June 2000.
4. T.J. Slegel et al. IBM’s S/390 G5 microprocessor design. IEEE Micro, 19(2):12–23, March/April 1999.
5. D. Johnson. The Intel 432: a VLSI architecture for fault-tolerant computer systems. Computer 17(8):4049, August 1984.