Pereira, V., 		Júnior, V., & 		Manea, S.
2017 May 19.  SEU Mitigation for SRAM FPGAs: A comparison via Probabilistic Model Checking. Proceedings of the Fault Tolerance Workshop (WTF). [Online] :