Bany Hamad, G. (2017). Multilevel Modeling, Formal Analysis, and Characterization of Single Event Transients Propagation in Digital Systems [Ph.D. thesis, École Polytechnique de Montréal]. Available