You are about to access our book library "Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings (Lecture Notes in Computer Science Book 12297) full version" .