Comprehensive analysis of sequential circuits vulnerability to transient faults using SMT | IEEE Conference Publication | IEEE Xplore