Model-based safety and assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019 : proceedings - Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis 1969-; Bozzano, Marco (Springer, 2019)