1. Abriel, J.-R.: The B-book. Cambridge University Press, Cambridge (1996)
2. Avizienis, A., Laprie, J.-C., et al.: Dependability of computer systems: Fundamental concepts, erminology, and examples. In: Proc. 3rd IEEE Information Survivability Workshop (ISW-2000), Boston, Massachusetts, USA, October 24-26, pp. 7–12 (2000)
3. Avizienis, A., Laprie, J.-C., Randell, B.: Fundamental Concepts of Dependability, CSTR: 739, Department of Computing Science, University of Newcastle (2001)
4. Bagchi, S., Whisnant, K., et al.: Error Detection and Recovery in Chameleon., Center for eliable and High-Performance Computing, Coordinated Science Laboratory, University f Illinois at Urbana-Champaign (November 1998) (presentation)
5. Barrett, P.A.: Delta-4: An open architecture for dependable systems. In: IEE Colloquium on Safety Critical Distributed Systems, pp. 2/1–2/7 (1993)