Contribution to Temporal Fault Tree Analysis without Modularization and Transformation into the State Space. - Simon J. Schilling (CoRR, 2015)