Retouniotis, Athanasios, "Model-connected safety cases", , 2020