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)