Behavioral Design and Prototyping of a Fail-Safe System. - Yinghua Min; Yutang Zhou; Zhongcheng Li; Cheng Ye 003; Yuqi Pan (VLSI Design, 1994)