A Methodical Approach to Analyzing and Synthesizing a Self-Repairing Computer | IEEE Journals & Magazine | IEEE Xplore