Kabir, S. Compositional dependability analysis of dynamic systems with uncertainty. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4218244