Model-Based Safety and Assessment - Papadopoulos; Aslansefat, Koorosh; Bozzano, Marco; Katsaros, Panagiotis (Springer International Publishing, 2019)