Fault tree models for fault tolerant hypercube multiprocessors | IEEE Conference Publication | IEEE Xplore