Retouniotis, Athanasios, Papadopoulos, Yiannis, Sorokos, Ioannis, Parker, David, Matragkas, Nicholas, Sharvia, Septavera, "Model-connected safety cases", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017