Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano Model-Based Safety and Assessment - Springer Springer 2019 ISBN: 9783030328726 Source: EBOOK