Integrating Safety Analysis With Functional Modeling | IEEE Journals & Magazine | IEEE Xplore