Manfred H. Seifert Experimente mit fehlertoleranten Prozeßsystemen im lokalen Mehrrechnersystem R+DS. [Citation Graph (0, 0)][DBLP] Fehlertolerierende Rechensysteme, 1982, pp:189-204 [Conf]
Manfred H. Seifert Formale Methode oder pragmatisches Vorgehen für die Software-Fehlertoleranz und -Zuverlässigkeit? [Citation Graph (0, 0)][DBLP] Software-Fehlertoleranz und -Zuverlässigkeit, 1984, pp:293-297 [Conf]