Anwendung und Automatisierung der Analyse von Prozeßrechnerprogrammen. - K. Okroy; Manfred Kersken (Fachtagung Prozessrechner, 1977)

Zuverlässigkeitseigenschaften diversitärer Programmsysteme. - Wolfgang D. Ehrenberger; Manfred Kersken (Fachtagung Prozessrechner, 1981)

Quantitative Assessment of Fault-Tolerant Software Architecture. - Francesca Saglietti; Manfred Kersken (Fehlertolerierende Rechensysteme, 1987)