Specification of Dynamic Fault Tree Concepts with Stochastic Petri Nets | IEEE Conference Publication | IEEE Xplore