Model-Based Safety and Assessment - Christel Seguin, Marc Zeller, Tatiana Prosvirnova (Springer, 2022)