1. Software Fault-Tolerance by Design Diversity DEDIX: A Tool for Experiments;Avizienis,1985
2. Barton, H. R.: Availability Analysis for Series-Parallel Systems. Proc. Ann. Reliability and Maintainability Symp., Atlanta, Jan. 24–26, 1989, pp. 516–521.
3. Beck Th. and Lauber R.:Integration of an Expert System into a Real-Time Software Systems. Preprints 11th IFAC World Congress (V. Utkin and U. Jaaksoo, Editors) Tallinn, Estonia, USSR, Aug. 13–17, 1990 pp. 158–161.
4. Blackburn, M.R.: Using Expert Systems to Construct Formal Specifications. IEEE Expert, Spring 1989, pp. 62–74.
5. DIN 19250 (German Industry Standard): Grundlegende Sicherheitsbetrachtungen für MSR-Schutzeinrichtungen. Beuth-Verlag Berlin 1987.