Zeller, Marc2022-03-022022-03-022020978-3-030-58919-6978-3-030-58920-2https://publica.fraunhofer.de/handle/publica/165957Model-Based Safety and Assessment. 7th International Symposium, IMBSA 2020. Proceedings