Analytical Modeling of Single Event Transients Propagation in Combinational Logic Gates