Formal management-specifying approach for model-based safety assessment
Changyi XU, Yiman DUAN, Chao ZHANG
Journal of Systems Engineering and Electronics . 2023, (6): 1589 -1601 .  DOI: 10.23919/JSEE.2023.000154