Cristian Constantinescu: Validation of the Fault/Error Handling Mechanisms of the Teraflops Supercomputer. FTCS 1998: 382-389