Pereira, V., 		Júnior, V., & 		Manea, S.
2017 mai 19.  SEU Mitigation for SRAM FPGAs: A comparison via Probabilistic Model Checking. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :