Sharvia, S. Integrated application of compositional and behavioural safety analysis. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4211046