Klaus Echtle, Yinong Chen: Evaluation of Deterministic Fault Injection for Fault-Tolerant Protocol Testing. FTCS 1991: 418-425