On an Exemplar Supporting Model-based Quality Assurance Research for Healthcare Systems-of-Systems. - Lucas Sakizloglou; Taisiya Khakharova; Florian Ruehs; Leen Lambers (SESoS, 2024)