Model-Based Safety and Assessment - Ortmeier; Rauzy, Antoine (Springer International Publishing, 2014)