Tool Supported Model-Based Safety Analysis and Optimization | IEEE Conference Publication | IEEE Xplore