A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products | IEEE Conference Publication | IEEE Xplore