RECASTER: synthesis of fault-tolerant embedded systems based on dynamically reconfigurable FPGAs | IEEE Conference Publication | IEEE Xplore