Yutao He Algirdas Avizienis Assessment of the Applicability of COTS Microprocessors in High-Confidence Computing Systems: A Case Study. 81-86 2000 conf/dsn/2000 DSN http://computer.org/proceedings/dsn/0707/07070081abs.htm db/conf/dsn/dsn2000.html#HeA00