https://medium.com/@rodigo3538/msc-safety-critical-systems-engineering-assignment-homework-help-university-of-york-uk-43282cf3ca3d