Model-Based Safety and Assessment - Papadopoulos (Springer International Publishing, 2019)