Mahmud, N. Dynamic model-based safety analysis: from state machines to temporal fault trees. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4214015