In:CwU'2009: IIASA/GAMM Workshop on Coping with Uncertainty: Managing Safety of Heterogeneous Systems - Abstracts, 14-16 December 2009, IIASA, Laxenburg, Austria, p. 9