A synthesis tool for fault-tolerant finite state machines | IEEE Conference Publication | IEEE Xplore