Pereira, V., 		Júnior, V., & 		Manea, S.
(2017).
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>. Porto Alegre: SBC.