RSYN: a system for automated synthesis of reliable multilevel circuits | IEEE Journals & Magazine | IEEE Xplore