id: 70140312 dt: a an: 70140312 au: Buchacker, Kerstin ti: Analyzing safety-critical systems using extended fault trees so: ARCS Workshops, 117-125 (1999). py: 1999 pu: la: EN cc: ut: ci: li: