Laura Frigerio Fabio Salice RAM-Based Fault Tolerant State Machines for FPGAs. 312-320 2007 DFT http://doi.ieeecomputersociety.org/10.1109/DFT.2007.33 conf/dft/2007 db/conf/dft/dft2007.html#FrigerioS07