Edifor, E. E. Quantitative analysis of dynamic safety-critical systems using temporal fault trees. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4216411