Gwan Choi, Ravi K. Iyer, Victor Carreno. FOCUS: an experimental environment for validation of fault-tolerant systems - case study of a jet-engine controller. In Computer Design: VLSI in Computers and Processors, ICCD 1989. Proceedings., 1989 IEEE International Conference on, Cambridge, MA, USA, October 2-4, 1989. pages 561-564, IEEE, 1989. [doi]
Abstract is missing.