Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings - Bozzano, Marco; Papadopoulos, Yiannis (Springer International Publishing : Imprint: Springer, 2017)