A framework for achieving safety-integrity in software | IET Conference Publication | IEEE Xplore