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