Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings - Ortmeier, Frank; Rauzy, Antoine (Springer International Publishing : Imprint: Springer, 2014)