Edifor, Ernest Edem, "Quantitative analysis of dynamic safety-critical systems using temporal fault trees", , 2014