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