Fault-tolerance techniques for SRAM-based FPGAs - Kastensmidt, Fernanda Lima