The Definition and Assessment of a Safety Argument | IEEE Conference Publication | IEEE Xplore