Gwan Choi, Ravi K. Iyer, Victor Carreno: FOCUS: an experimental environment for validation of fault-tolerant systems - case study of a jet-engine controller. ICCD 1989: 561-564