Formal Management-Specifying Approach for Model-Based Safety Assessment | BIAI Journals & Magazine | IEEE Xplore