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