You are about to access our book library "Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings (Lecture Notes in Computer Science Book 13525) full version" .