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