Automatic insertion of fault-tolerant structures at the RT level | IEEE Conference Publication | IEEE Xplore