Baghalizadeh Moghadam, N. (2019). Algebraic Dynamic Fault Tree Analysis for Avionic Systems. (Masters thesis, Polytechnique Montréal).