Marco Bozzano, Yiannis Papadopoulos Model-Based Safety and Assessment - Springer Springer 2017 ISBN: 9783319641195 Source: EBOOK