RECASTER: Synthesis of Fault-Tolerant Embedded Systems Based on Dynamically Reconfigurable FPGAs. - Christian F. da Silva; Alice M. Tokarnia (IPDPS, 2004)