A high-level synthesis approach to design of fault-tolerant systems | IEEE Conference Publication | IEEE Xplore