Alexander Ahlbrecht, Jasper Sprockhoff, Umut Durak: A system-theoretic assurance framework for safety-driven systems engineering. Softw. Syst. Model. 24(1): 253-270 (2025)