Tensor product modeling of fault tolerant multiprocessor architectures | IEEE Conference Publication | IEEE Xplore