A framework for designing safe software systems | IEEE Conference Publication | IEEE Xplore