1. Butler, R.W., Caldwell, J.L., Di Vito, B.L.: Design strategy for a formally verified reliable computing platform. In: Abstract Data Types 1991 and COMPASS 1991, pp. 125–133 (1991)
2. Cristian, F., et al.: Atomic Broadcast: From simple message diffusion to Byzantine agreement. In: Proceedings of the 15th IEEE Int. Symp. on Fault- Tolerant Computing (FTCS-15), Ann Arbor, Michigan (1985)
3. Kaufmann, L.F., Johnson, B.W.: Modelling of Common-Mode Failures in Digital Embedded Systems. In: Proceedings of the Reliability and Maintainability Symposium 2000, Los Angeles, CA, IEEE Press, Los Alamitos (2000)
4. Laprie, J.C. (ed.): Dependability: Basic Concepts and Terminology - in English, French, German, and Japanese. Springer, Vienna (1992)