Efficient fault simulation through dynamic binary translation for dependability analysis of embedded software.