Model-Based Safety and Assessment - Bozzano, Marco (Springer International Publishing, 2020)