Model-based safety analysis of requirement specifications. - Konstantinos Mokos; Panagiotis Katsaros; Preben Bohn (J. Syst. Softw., 2025)