Fault Tree Analysis and Probability Theory