Design methodology for systematic derivation of fault-tolerant array processors | IEEE Conference Publication | IEEE Xplore