Automatic synthesis of self-recovering VLSI systems | IEEE Journals & Magazine | IEEE Xplore