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