You are about to access our book library "Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings (Lecture Notes in Computer Science Book 10437) full version" .