Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria: Comprehensive analysis of sequential circuits vulnerability to transient faults using SMT. IOLTS 2017: 33-38