System-on-chip oriented fault-tolerant sequential systems implementation methodology | IEEE Conference Publication | IEEE Xplore