An Approach to Modeling Software Safety | IEEE Conference Publication | IEEE Xplore