An Integrated System Design and Safety Framework for Model-Based Safety Analysis | IEEE Journals & Magazine | IEEE Xplore