V. Pereira, V. Júnior, and S. Manea.
"SEU Mitigation for SRAM FPGAs: A comparison via Probabilistic Model Checking", in <em>Anais do XVIII Workshop de Testes e Tolerância a Falhas</em>, Belém, 2017.