A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain | IEEE Conference Publication | IEEE Xplore