affiliation not provided to SSRN
Safety Critical Systems Engineering, Assurance Case Development, Model Based Systems Engineering, Formal Methods, Robotics and Autonomous Systems