Managing Safety of Heterogeneous Systems - Ermoliev, Yuri; Makowski, Marek; Marti, Kurt (Springer Berlin Heidelberg, 2012)