Model-Based Safety and Assessment - Marc Zeller, Kai Höfig (Springer, 2020)