In: Y Ermoliev, M Makowski, K Marti (eds); Managing Safety of Heterogeneous Systems; Springer, Heidelberg, Germany pp.1-16 (February 2012)