Schellhorn, Gerhard, Andreas Thums, and Wolfgang Reif. Formal Fault Tree Semantics In Sixth World Conference on Integrated Design & Process Technology.  Pasadena, CA, 2002.