Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach | IEEE Journals & Magazine | IEEE Xplore