Marc Zeller, Kai Höfig Model-Based Safety and Assessment - Springer Springer 2020 ISBN: 9783030589202 Source: EBOOK