Model-Connected Safety Cases. - Athanasios Retouniotis; Yiannis Papadopoulos; Ioannis Sorokos; David Parker 002; Nicholas Matragkas; Septavera Sharvia (IMBSA, 2017)

Model-connected safety cases. - Athanasios Retouniotis (2020)

Andromeda: A model-connected framework for safety assessment and assurance. - Athanasios Retouniotis; Yiannis Papadopoulos; Ioannis Sorokos (J. Syst. Softw., 2025)