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