Roland Mader, Gerhard Griessnig, Andrea Leitner, Christian Kreiner, Quentin Bourrouilh, Eric Armengaud, Christian Steger, Reinhold Weiß: A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded Systems. ECBS 2011: 169-178