Redirecting to
https://hull-repository.worktribe.com/output/465995/compositional-synthesis-of-temporal-fault-trees-from-state-machines
.