Model-Based Safety and Assessment - Bozzano; Papadopoulos, Yiannis (Springer International Publishing, 2017)