Model-Based Safety and Assessment : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings - Seguin, Christel; Prosvirnova, Tatiana; Zeller, Marc (Cham Springer International Publishing AG, 2022)