@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}
}