Predicting performability of a fault-tolerant microcomputer for process control | IEEE Journals & Magazine | IEEE Xplore