Sorokos, I. Generation of model-based safety arguments from automatically allocated safety integrity levels. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4222118