Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies. - Jörn Stuphorn; Bernd Sieker; Peter B. Ladkin (SSS, 2009)