@conference {368, title = {Scalable Analysis of Fault Trees with Dynamic Features}, booktitle = {45th Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2015, Rio de Janeiro, Brazil, June 22-25, 2015}, year = {2015}, doi = {10.1109/DSN.2015.29}, url = {http://dx.doi.org/10.1109/DSN.2015.29}, author = {Jan Kr{\v c}{\'a}l and Pavel Krc{\'a}l} }