Entwurf und Prüfung sicherer Rechnersysteme. - Franz Dernoschek; Heinrich Krebs (Microcomputing, 1983)

Entwurf und quantitative Beschreibung diversitärer Software. - Heinrich Krebs (Verlag TÜV Rheinland, 1988)

Assessment on the Basis of Standards-Gaps and how to Bridge Them. - Heinrich Krebs (SAFECOMP, 1995)

Hardware Redundant Vital Computers - Demonstration of Safety on the Basis of Current Standards. - Heinrich Krebs; Swapan Mitra (SAFECOMP, 1999)