Model-Based Safety and Assessment - Marco Bozzano, Yiannis Papadopoulos (Springer, 2017)