Katsaros, Panagiotis2025-10-172025-10-172026978-3-032-05072-4978-3-032-05073-1978-3-032-05074-8https://publica.fraunhofer.de/handle/publica/49744810.1007/978-3-032-05073-1enModel-Based Safety and Assessment. 9th International Symposium, IMBSA 2025. Proceedings