Symbolic Fault Tree Analysis for Reactive Systems