The MOD procurement guidance on software safety assurance - assessing and understanding software evidence | IET Conference Publication | IEEE Xplore