Msc Safety Critical Systems Engineering, University of York