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