Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings - Papadopoulos, Yiannis; Papadopoulos, Yiannis; Aslansefat, Koorosh; Aslansefat, Koorosh; Katsaros, Panagiotis; Katsaros, Panagiotis; Bozzano, Marco; Bozzano, Marco (Springer International Publishing : Imprint: Springer, 2019)