You are about to access our book library "Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings (Lecture Notes in Computer Science Book 11842) full version" .