Retouniotis, Athanasios, Papadopoulos, Yiannis, Sorokos, Ioannis, "Andromeda: A model-connected framework for safety assessment and assurance", Journal of Systems and Software, 2025