Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings Bozzano Marco Heftet / 2017 / Engelsk
