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