Single Event Multiple Transient Analysis using Satisfiability Modulo Theories