Heinz Neumann: Modellierung fehlertoleranter Prozeßautomatisierungssysteme. Fehlertolerierende Rechensysteme 1982: 128-142